Index of /201809110534/raspbian/pool/main/g/gringo/


../
gringo_3.0.4-3.debian.tar.gz                       23-May-2012 14:50                9079
gringo_3.0.4-3.dsc                                 23-May-2012 14:50                2033
gringo_3.0.4-3_armhf.deb                           03-Jun-2012 12:51             1409678
gringo_3.0.4.orig.tar.gz                           19-Apr-2012 01:04              539520
gringo_4.4.0-1.debian.tar.xz                       18-Aug-2014 15:52                8304
gringo_4.4.0-1.dsc                                 18-Aug-2014 15:52                2053
gringo_4.4.0-1_armhf.deb                           29-Aug-2014 11:10             1359888
gringo_4.4.0.orig.tar.gz                           18-Aug-2014 15:52             1482711
gringo_5.1.0-4.debian.tar.xz                       20-Dec-2016 07:01               13544
gringo_5.1.0-4.dsc                                 20-Dec-2016 07:01                2023
gringo_5.1.0-4_armhf.deb                           31-Dec-2016 16:08             1943158
gringo_5.1.0-5.debian.tar.xz                       17-Aug-2017 06:32               13700
gringo_5.1.0-5.dsc                                 17-Aug-2017 06:32                2023
gringo_5.1.0-5_armhf.deb                           22-Aug-2017 10:08             1956048
gringo_5.1.0.orig.tar.gz                           11-Dec-2016 20:52             2232639
gringo_5.2.3-2.debian.tar.xz                       03-Jul-2018 05:13               14848
gringo_5.2.3-2.dsc                                 03-Jul-2018 05:13                2087
gringo_5.2.3.orig.tar.gz                           30-Jun-2018 11:54             2651628