Don't sync old deb repos + add Ubuntu wily
This commit is contained in:
parent
8808b538f5
commit
f7f79ad80d
2 changed files with 12 additions and 4 deletions
|
|
@ -150,7 +150,8 @@ INSERT INTO systems (id, name, release, short, relorder) VALUES
|
|||
(88, 'Ubuntu', '14.04', 'ubuntu-trusty', 19),
|
||||
(89, 'Ubuntu', '14.10', 'ubuntu-utopic', 20),
|
||||
(90, 'Ubuntu', '15.04', 'ubuntu-vivid', 21),
|
||||
(91, 'Debian', '8.0', 'debian-jessie', 12);
|
||||
(91, 'Debian', '8.0', 'debian-jessie', 12),
|
||||
(92, 'Ubuntu', '15.10', 'ubuntu-wily', 22);
|
||||
|
||||
-- Removes any path components and compression extensions from the filename.
|
||||
CREATE OR REPLACE FUNCTION basename_from_filename(fn text) RETURNS text AS $$
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue