Index of /pub/gnu_linux/ubuntu/pool/universe/g/gringo
Name Last modified Size Description
Parent Directory -
gringo_5.6.2.orig.tar.gz 2024-01-26 05:09 4.8M
gringo_5.8.0.orig.tar.gz 2025-10-27 19:54 4.3M
gringo_5.4.1.orig.tar.gz 2020-12-31 16:34 2.7M
gringo_5.4.0.orig.tar.gz 2020-02-21 15:08 2.7M
gringo_5.2.2.orig.tar.gz 2017-11-10 06:09 2.5M
gringo_5.2.2-5_i386.deb 2018-02-05 06:36 2.2M
gringo_5.4.0-0ubuntu1_amd64.deb 2020-02-21 15:23 2.1M
gringo_5.2.2-5_amd64.deb 2018-02-05 06:34 2.1M
gringo_5.8.0-1_amd64v3.deb 2025-10-27 20:25 2.1M
gringo_5.6.2-0ubuntu3_amd64.deb 2024-01-31 05:35 2.0M
gringo_5.8.0-1_amd64.deb 2025-10-27 20:12 2.0M
gringo_5.4.1-3ubuntu3_amd64.deb 2022-01-19 07:13 2.0M
gringo_5.6.2-2_amd64.deb 2024-06-26 08:14 2.0M
gringo_4.5.4-1_i386.deb 2015-12-20 12:25 1.8M
gringo_4.5.4-1_amd64.deb 2015-12-20 12:25 1.7M
gringo_4.5.4.orig.tar.gz 2015-12-20 12:24 1.6M
gringo_4.2.1-4_amd64.deb 2014-01-13 01:54 905K
gringo_4.2.1-4_i386.deb 2014-01-13 01:54 894K
gringo_4.2.1.orig.tar.gz 2013-12-16 18:18 601K
gringo_5.4.1-3ubuntu3.debian.tar.xz 2022-01-19 07:09 25K
gringo_5.6.2-2.debian.tar.xz 2024-06-26 06:36 24K
gringo_5.8.0-1.debian.tar.xz 2025-10-27 19:54 24K
gringo_5.6.2-0ubuntu3.debian.tar.xz 2024-01-31 05:35 21K
gringo_5.4.0-0ubuntu1.debian.tar.xz 2020-02-21 15:08 16K
gringo_5.2.2-5.debian.tar.xz 2018-02-05 06:34 14K
gringo_4.2.1-4.debian.tar.gz 2014-01-13 01:28 8.7K
gringo_4.5.4-1.debian.tar.xz 2015-12-20 12:24 6.3K
gringo_5.4.1-3ubuntu3.dsc 2022-01-19 07:09 2.2K
gringo_5.6.2-0ubuntu3.dsc 2024-01-31 05:35 2.1K
gringo_5.4.0-0ubuntu1.dsc 2020-02-21 15:08 2.1K
gringo_5.2.2-5.dsc 2018-02-05 06:34 2.0K
gringo_4.5.4-1.dsc 2015-12-20 12:24 2.0K
gringo_4.2.1-4.dsc 2014-01-13 01:28 2.0K
gringo_5.8.0-1.dsc 2025-10-27 19:54 2.0K
gringo_5.6.2-2.dsc 2024-06-26 06:36 2.0K