From a092b597f8c95703541e8a7d1c83f2042a11c124 Mon Sep 17 00:00:00 2001 From: Benjamin Bohard Date: Thu, 19 Dec 2019 09:18:41 +0100 Subject: [PATCH] Modify distribution --- script/database_manager.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/script/database_manager.py b/script/database_manager.py index a886622..4d63f3d 100644 --- a/script/database_manager.py +++ b/script/database_manager.py @@ -15,7 +15,7 @@ CREATE TABLE Release ( ReleaseId SERIAL PRIMARY KEY, ReleaseName VARCHAR(255) NOT NULL, ReleaseSourceId INTEGER NOT NULL, - ReleaseDistribution VARCHAR(20) CONSTRAINT releasedistribution_choice CHECK (ReleaseDistribution IN ('dev', 'stable', 'maintained', 'deprecation-warning', 'deprecated')), + ReleaseDistribution VARCHAR(20) CONSTRAINT releasedistribution_choice CHECK (ReleaseDistribution IN ('last', 'n-1', 'n-2')), UNIQUE (ReleaseName, ReleaseSourceId), UNIQUE (ReleaseDistribution, ReleaseSourceId), FOREIGN KEY (ReleaseSourceId) REFERENCES Source(SourceId)