Index of /ubuntu/pool/universe/g/gringo

 NameLast modifiedSize

 Parent Directory   -
 gringo_3.0.3-7.debian.tar.gz 2012-01-08 04:34 7.1K
 gringo_3.0.3-7.dsc 2012-01-08 04:34 2.0K
 gringo_3.0.3-7_amd64.deb 2012-01-08 04:35 1.5M
 gringo_3.0.3-7_i386.deb 2012-01-08 04:35 1.5M
 gringo_3.0.3.orig.tar.gz 2011-05-04 17:09 525K
 gringo_4.2.1-4.debian.tar.gz 2014-01-13 08:28 8.7K
 gringo_4.2.1-4.dsc 2014-01-13 08:28 2.0K
 gringo_4.2.1-4_amd64.deb 2014-01-13 08:54 905K
 gringo_4.2.1-4_i386.deb 2014-01-13 08:54 894K
 gringo_4.2.1.orig.tar.gz 2013-12-17 01:18 601K
 gringo_4.5.4-1.debian.tar.xz 2015-12-20 19:24 6.3K
 gringo_4.5.4-1.dsc 2015-12-20 19:24 2.0K
 gringo_4.5.4-1_amd64.deb 2015-12-20 19:25 1.7M
 gringo_4.5.4-1_i386.deb 2015-12-20 19:25 1.8M
 gringo_4.5.4.orig.tar.gz 2015-12-20 19:24 1.6M
 gringo_5.2.2-5.debian.tar.xz 2018-02-05 13:34 14K
 gringo_5.2.2-5.dsc 2018-02-05 13:34 2.0K
 gringo_5.2.2-5_amd64.deb 2018-02-05 13:34 2.1M
 gringo_5.2.2-5_i386.deb 2018-02-05 13:36 2.2M
 gringo_5.2.2.orig.tar.gz 2017-11-10 13:09 2.5M
 gringo_5.3.0-10.debian.tar.xz 2019-04-22 07:58 18K
 gringo_5.3.0-10.dsc 2019-04-22 07:58 2.1K
 gringo_5.3.0-10_amd64.deb 2019-04-22 09:53 2.1M
 gringo_5.3.0-10_i386.deb 2019-04-22 09:54 2.2M
 gringo_5.3.0.orig.tar.gz 2019-04-22 07:58 2.6M
 gringo_5.4.0-0ubuntu1.debian.tar.xz 2020-02-21 22:08 16K
 gringo_5.4.0-0ubuntu1.dsc 2020-02-21 22:08 2.1K
 gringo_5.4.0-0ubuntu1_amd64.deb 2020-02-21 22:23 2.1M
 gringo_5.4.0-2ubuntu1.debian.tar.xz 2020-06-18 14:43 23K
 gringo_5.4.0-2ubuntu1.dsc 2020-06-18 14:43 2.1K
 gringo_5.4.0-2ubuntu1_amd64.deb 2020-06-18 15:13 1.8M
 gringo_5.4.0.orig.tar.gz 2020-02-21 22:08 2.7M