Index of /ubuntu/pool/universe/g/gringo
Name
Last modified
Size
Description
Parent Directory
-
gringo_4.2.1-4.debian.tar.gz
2014-01-13 07:28
8.7K
gringo_4.2.1-4.dsc
2014-01-13 07:28
2.0K
gringo_4.2.1-4_amd64.deb
2014-01-13 07:54
905K
gringo_4.2.1-4_i386.deb
2014-01-13 07:54
894K
gringo_4.2.1.orig.tar.gz
2013-12-17 00:18
601K
gringo_4.5.4-1.debian.tar.xz
2015-12-20 18:24
6.3K
gringo_4.5.4-1.dsc
2015-12-20 18:24
2.0K
gringo_4.5.4-1_amd64.deb
2015-12-20 18:25
1.7M
gringo_4.5.4-1_i386.deb
2015-12-20 18:25
1.8M
gringo_4.5.4.orig.tar.gz
2015-12-20 18:24
1.6M
gringo_5.2.2-5.debian.tar.xz
2018-02-05 12:34
14K
gringo_5.2.2-5.dsc
2018-02-05 12:34
2.0K
gringo_5.2.2-5_amd64.deb
2018-02-05 12:34
2.1M
gringo_5.2.2-5_i386.deb
2018-02-05 12:36
2.2M
gringo_5.2.2.orig.tar.gz
2017-11-10 12:09
2.5M
gringo_5.4.0-0ubuntu1.debian.tar.xz
2020-02-21 21:08
16K
gringo_5.4.0-0ubuntu1.dsc
2020-02-21 21:08
2.1K
gringo_5.4.0-0ubuntu1_amd64.deb
2020-02-21 21:23
2.1M
gringo_5.4.0.orig.tar.gz
2020-02-21 21:08
2.7M
gringo_5.4.1-3.1.debian.tar.xz
2022-12-27 05:54
21K
gringo_5.4.1-3.1.dsc
2022-12-27 05:54
2.1K
gringo_5.4.1-3.1_amd64.deb
2022-12-27 05:54
2.0M
gringo_5.4.1-3ubuntu3.debian.tar.xz
2022-01-19 13:09
25K
gringo_5.4.1-3ubuntu3.dsc
2022-01-19 13:09
2.2K
gringo_5.4.1-3ubuntu3_amd64.deb
2022-01-19 13:13
2.0M
gringo_5.4.1.orig.tar.gz
2020-12-31 22:34
2.7M
gringo_5.6.2-0ubuntu3.debian.tar.xz
2024-01-31 11:35
21K
gringo_5.6.2-0ubuntu3.dsc
2024-01-31 11:35
2.1K
gringo_5.6.2-0ubuntu3_amd64.deb
2024-01-31 11:35
2.0M
gringo_5.6.2-2.debian.tar.xz
2024-06-26 12:36
24K
gringo_5.6.2-2.dsc
2024-06-26 12:36
2.0K
gringo_5.6.2-2_amd64.deb
2024-06-26 14:14
2.0M
gringo_5.6.2.orig.tar.gz
2024-01-26 11:09
4.8M
Apache/2.4.59 (Debian) Server at debian.ruhr-uni-bochum.de Port 443