Name Last modified Size Description
![[DIR]](/images/back.gif)
Parent Directory -
![[ ]](/images/zip.gif)
gringo_3.0.3-7.debian.tar.gz 08-Jan-2012 04:34 7.1K
![[ ]](/images/unknown.gif)
gringo_3.0.3-7.dsc 08-Jan-2012 04:34 2.0K
gringo_3.0.3-7_amd64.deb 08-Jan-2012 04:35 1.5M
gringo_3.0.3-7_i386.deb 08-Jan-2012 04:35 1.5M
gringo_3.0.3.orig.tar.gz 04-May-2011 17:09 525K
gringo_4.2.1-4.debian.tar.gz 13-Jan-2014 08:28 8.7K
gringo_4.2.1-4.dsc 13-Jan-2014 08:28 2.0K
gringo_4.2.1-4_amd64.deb 13-Jan-2014 08:54 905K
gringo_4.2.1-4_i386.deb 13-Jan-2014 08:54 894K
gringo_4.2.1.orig.tar.gz 17-Dec-2013 01:18 601K
gringo_4.5.4-1.debian.tar.xz 20-Dec-2015 19:24 6.3K
gringo_4.5.4-1.dsc 20-Dec-2015 19:24 2.0K
gringo_4.5.4-1_amd64.deb 20-Dec-2015 19:25 1.7M
gringo_4.5.4-1_i386.deb 20-Dec-2015 19:25 1.8M
gringo_4.5.4.orig.tar.gz 20-Dec-2015 19:24 1.6M
gringo_5.2.2-5.debian.tar.xz 05-Feb-2018 13:34 14K
gringo_5.2.2-5.dsc 05-Feb-2018 13:34 2.0K
gringo_5.2.2-5_amd64.deb 05-Feb-2018 13:34 2.1M
gringo_5.2.2-5_i386.deb 05-Feb-2018 13:36 2.2M
gringo_5.2.2.orig.tar.gz 10-Nov-2017 13:09 2.5M
gringo_5.4.0-0ubuntu1.debian.tar.xz 21-Feb-2020 22:08 16K
gringo_5.4.0-0ubuntu1.dsc 21-Feb-2020 22:08 2.1K
gringo_5.4.0-0ubuntu1_amd64.deb 21-Feb-2020 22:23 2.1M
gringo_5.4.0-2ubuntu1.debian.tar.xz 18-Jun-2020 14:43 23K
gringo_5.4.0-2ubuntu1.dsc 18-Jun-2020 14:43 2.1K
gringo_5.4.0-2ubuntu1_amd64.deb 18-Jun-2020 15:13 1.8M
gringo_5.4.0.orig.tar.gz 21-Feb-2020 22:08 2.7M
gringo_5.4.1-3ubuntu1.debian.tar.xz 01-Jan-2021 19:19 23K
gringo_5.4.1-3ubuntu1.dsc 01-Jan-2021 19:19 2.1K
gringo_5.4.1-3ubuntu1_amd64.deb 01-Jan-2021 19:19 1.8M
gringo_5.4.1.orig.tar.gz 31-Dec-2020 23:34 2.7M
Apache/2.2 Server at ftp.ntua.gr Port 80
