Index of /pool/universe/g/gringo/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
gringo_5.8.0.orig.tar.gz 44966942025-Oct-27 23:54
gringo_5.8.0-1_amd64v3.deb 21725862025-Oct-28 00:25
gringo_5.8.0-1_amd64.deb 21120522025-Oct-28 00:12
gringo_5.8.0-1.dsc 20122025-Oct-27 23:54
gringo_5.8.0-1.debian.tar.xz 242842025-Oct-27 23:54
gringo_5.6.2.orig.tar.gz 50790182024-Jan-26 10:09
gringo_5.6.2-2_amd64.deb 20775202024-Jun-26 12:14
gringo_5.6.2-2.dsc 20122024-Jun-26 10:36
gringo_5.6.2-2.debian.tar.xz 245002024-Jun-26 10:36
gringo_5.6.2-0ubuntu3_amd64.deb 21266322024-Jan-31 10:35
gringo_5.6.2-0ubuntu3.dsc 21532024-Jan-31 10:35
gringo_5.6.2-0ubuntu3.debian.tar.xz 217882024-Jan-31 10:35
gringo_5.4.1.orig.tar.gz 28228452020-Dec-31 21:34
gringo_5.4.1-3ubuntu3_amd64.deb 21103762022-Jan-19 12:13
gringo_5.4.1-3ubuntu3.dsc 22502022-Jan-19 12:09
gringo_5.4.1-3ubuntu3.debian.tar.xz 251562022-Jan-19 12:09
gringo_5.4.0.orig.tar.gz 28228102020-Feb-21 20:08
gringo_5.4.0-0ubuntu1_amd64.deb 22354122020-Feb-21 20:23
gringo_5.4.0-0ubuntu1.dsc 21432020-Feb-21 20:08
gringo_5.4.0-0ubuntu1.debian.tar.xz 162882020-Feb-21 20:08
gringo_5.2.2.orig.tar.gz 26426852017-Nov-10 11:09
gringo_5.2.2-5_i386.deb 23272042018-Feb-05 11:36
gringo_5.2.2-5_amd64.deb 21849282018-Feb-05 11:34
gringo_5.2.2-5.dsc 20682018-Feb-05 11:34
gringo_5.2.2-5.debian.tar.xz 139122018-Feb-05 11:34
gringo_4.5.4.orig.tar.gz 16774792015-Dec-20 17:24
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-1.dsc 20532015-Dec-20 17:24
gringo_4.5.4-1.debian.tar.xz 64722015-Dec-20 17:24
gringo_4.2.1.orig.tar.gz 6157282013-Dec-16 23:18
gringo_4.2.1-4_i386.deb 9153382014-Jan-13 06:54
gringo_4.2.1-4_amd64.deb 9267882014-Jan-13 06:54
gringo_4.2.1-4.dsc 20412014-Jan-13 06:28
gringo_4.2.1-4.debian.tar.gz 88932014-Jan-13 06:28