Index of /ubuntu/pool/universe/g/gringo
Name
Last modified
Size
Parent Directory
-
gringo_4.2.1-4.debian.tar.gz
12-Jan-2014 23:28
8.7K
gringo_4.2.1-4.dsc
12-Jan-2014 23:28
2.0K
gringo_4.2.1-4_amd64.deb
12-Jan-2014 23:54
905K
gringo_4.2.1-4_i386.deb
12-Jan-2014 23:54
894K
gringo_4.2.1.orig.tar.gz
16-Dec-2013 16:18
601K
gringo_4.5.4-1.debian.tar.xz
20-Dec-2015 10:24
6.3K
gringo_4.5.4-1.dsc
20-Dec-2015 10:24
2.0K
gringo_4.5.4-1_amd64.deb
20-Dec-2015 10:25
1.7M
gringo_4.5.4-1_i386.deb
20-Dec-2015 10:25
1.8M
gringo_4.5.4.orig.tar.gz
20-Dec-2015 10:24
1.6M
gringo_5.2.2-5.debian.tar.xz
05-Feb-2018 04:34
14K
gringo_5.2.2-5.dsc
05-Feb-2018 04:34
2.0K
gringo_5.2.2-5_amd64.deb
05-Feb-2018 04:34
2.1M
gringo_5.2.2-5_i386.deb
05-Feb-2018 04:36
2.2M
gringo_5.2.2.orig.tar.gz
10-Nov-2017 04:09
2.5M
gringo_5.4.0-0ubuntu1.debian.tar.xz
21-Feb-2020 13:08
16K
gringo_5.4.0-0ubuntu1.dsc
21-Feb-2020 13:08
2.1K
gringo_5.4.0-0ubuntu1_amd64.deb
21-Feb-2020 13:23
2.1M
gringo_5.4.0.orig.tar.gz
21-Feb-2020 13:08
2.7M
gringo_5.4.1-3.1.debian.tar.xz
26-Dec-2022 21:54
21K
gringo_5.4.1-3.1.dsc
26-Dec-2022 21:54
2.1K
gringo_5.4.1-3.1_amd64.deb
26-Dec-2022 21:54
2.0M
gringo_5.4.1-3ubuntu3.debian.tar.xz
19-Jan-2022 05:09
25K
gringo_5.4.1-3ubuntu3.dsc
19-Jan-2022 05:09
2.2K
gringo_5.4.1-3ubuntu3_amd64.deb
19-Jan-2022 05:13
2.0M
gringo_5.4.1.orig.tar.gz
31-Dec-2020 14:34
2.7M
gringo_5.6.2-0ubuntu3.debian.tar.xz
31-Jan-2024 03:35
21K
gringo_5.6.2-0ubuntu3.dsc
31-Jan-2024 03:35
2.1K
gringo_5.6.2-0ubuntu3_amd64.deb
31-Jan-2024 03:35
2.0M
gringo_5.6.2.orig.tar.gz
26-Jan-2024 03:09
4.8M
Apache/2.2.14 (Ubuntu) Server at ubuntu.cs.utah.edu Port 80