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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
gringo_5.4.0.orig.tar.gz 28228102020-Feb-21 20:08
gringo_5.3.0.orig.tar.gz 26848482019-Apr-22 04:58
gringo_5.2.2.orig.tar.gz 26426852017-Nov-10 11:09
gringo_5.3.0-10_i386.deb 23524282019-Apr-22 06:54
gringo_5.2.2-5_i386.deb 23272042018-Feb-05 11:36
gringo_5.4.0-0ubuntu1_amd64.deb 22354122020-Feb-21 20:23
gringo_5.3.0-10_amd64.deb 22184322019-Apr-22 06:53
gringo_5.2.2-5_amd64.deb 21849282018-Feb-05 11:34
gringo_5.4.0-2_amd64.deb 18853002020-Apr-05 01:43
gringo_4.5.4-1_i386.deb 18558122015-Dec-20 17:25
gringo_4.5.4-1_amd64.deb 18334662015-Dec-20 17:25
gringo_4.5.4.orig.tar.gz 16774792015-Dec-20 17:24
gringo_3.0.3-7_amd64.deb 15454282012-Jan-08 02:35
gringo_3.0.3-7_i386.deb 15444162012-Jan-08 02:35
gringo_4.2.1-4_amd64.deb 9267882014-Jan-13 06:54
gringo_4.2.1-4_i386.deb 9153382014-Jan-13 06:54
gringo_4.2.1.orig.tar.gz 6157282013-Dec-16 23:18
gringo_3.0.3.orig.tar.gz 5371982011-May-04 14:09
gringo_5.4.0-2.debian.tar.xz 230802020-Apr-05 01:28
gringo_5.3.0-10.debian.tar.xz 184962019-Apr-22 04:58
gringo_5.4.0-0ubuntu1.debian.tar.xz 162882020-Feb-21 20:08
gringo_5.2.2-5.debian.tar.xz 139122018-Feb-05 11:34
gringo_4.2.1-4.debian.tar.gz 88932014-Jan-13 06:28
gringo_3.0.3-7.debian.tar.gz 72872012-Jan-08 02:34
gringo_4.5.4-1.debian.tar.xz 64722015-Dec-20 17:24
gringo_5.4.0-2.dsc 21452020-Apr-05 01:28
gringo_5.4.0-0ubuntu1.dsc 21432020-Feb-21 20:08
gringo_5.3.0-10.dsc 21002019-Apr-22 04:58
gringo_5.2.2-5.dsc 20682018-Feb-05 11:34
gringo_4.5.4-1.dsc 20532015-Dec-20 17:24
gringo_3.0.3-7.dsc 20412012-Jan-08 02:34
gringo_4.2.1-4.dsc 20412014-Jan-13 06:28