Index of /professional/pool/main/g/gringo/
../
gringo_4.5.4-1.debian.tar.xz 20-Dec-2015 19:46 6472
gringo_4.5.4-1.dsc 20-Dec-2015 19:46 2053
gringo_4.5.4-1_amd64.deb 20-Dec-2015 19:46 1840310
gringo_4.5.4-1_i386.deb 20-Dec-2015 20:17 1861026
gringo_4.5.4.orig.tar.gz 20-Dec-2015 19:46 1677479
gringo_5.1.0-4.debian.tar.xz 20-Dec-2016 15:01 13544
gringo_5.1.0-4.dsc 20-Dec-2016 15:01 2023
gringo_5.1.0-4_amd64.deb 20-Dec-2016 15:01 2357330
gringo_5.1.0-4_i386.deb 20-Dec-2016 15:26 2487004
gringo_5.1.0.orig.tar.gz 12-Dec-2016 04:52 2232639