1 CREATE TABLE depstate (
4 architecture TEXT NOT NULL,
5 satisfiable BOOLEAN NOT NULL CHECK (satisfiable in (0, 1)),
7 UNIQUE (architecture, source, version));
9 CREATE TABLE depcheck (
10 architecture TEXT NOT NULL UNIQUE,
11 releasetime TIMESTAMP NOT NULL,
12 updatetime TIMESTAMP NOT NULL,
13 giveback BOOLEAN NOT NULL CHECK (giveback in (0, 1)));
14 INSERT INTO depcheck (architecture, releasetime, updatetime, giveback) VALUES
15 ("arm64", "2000-01-01 00:00:00", "2000-01-01 00:00:00", 1),
16 ("armel", "2000-01-01 00:00:00", "2000-01-01 00:00:00", 1),
17 ("armhf", "2000-01-01 00:00:00", "2000-01-01 00:00:00", 1),
18 ("mips", "2000-01-01 00:00:00", "2000-01-01 00:00:00", 1),
19 ("mips64el", "2000-01-01 00:00:00", "2000-01-01 00:00:00", 1),
20 ("mipsel", "2000-01-01 00:00:00", "2000-01-01 00:00:00", 1),
21 ("ppc64el", "2000-01-01 00:00:00", "2000-01-01 00:00:00", 1),
22 ("s390x", "2000-01-01 00:00:00", "2000-01-01 00:00:00", 1);
26 version TEXT NOT NULL,
27 architecture TEXT NOT NULL,
28 success BOOLEAN NOT NULL CHECK (success in (0, 1)),
29 starttime TIMESTAMP NOT NULL,
30 filename TEXT NOT NULL);