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


../
gringo_3.0.3-7.debian.tar.gz                       08-Jan-2012 02:34                7287
gringo_3.0.3-7.dsc                                 08-Jan-2012 02:34                2041
gringo_3.0.3-7_amd64.deb                           08-Jan-2012 02:35             1545428
gringo_3.0.3-7_i386.deb                            08-Jan-2012 02:35             1544416
gringo_3.0.3.orig.tar.gz                           04-May-2011 14:09              537198
gringo_4.2.1-4.debian.tar.gz                       13-Jan-2014 06:28                8893
gringo_4.2.1-4.dsc                                 13-Jan-2014 06:28                2041
gringo_4.2.1-4_amd64.deb                           13-Jan-2014 06:54              926788
gringo_4.2.1-4_i386.deb                            13-Jan-2014 06:54              915338
gringo_4.2.1.orig.tar.gz                           16-Dec-2013 23:18              615728
gringo_4.5.4-1.debian.tar.xz                       20-Dec-2015 17:24                6472
gringo_4.5.4-1.dsc                                 20-Dec-2015 17:24                2053
gringo_4.5.4-1_amd64.deb                           20-Dec-2015 17:25             1833466
gringo_4.5.4-1_i386.deb                            20-Dec-2015 17:25             1855812
gringo_4.5.4.orig.tar.gz                           20-Dec-2015 17:24             1677479
gringo_5.2.2-5.debian.tar.xz                       05-Feb-2018 11:34               13912
gringo_5.2.2-5.dsc                                 05-Feb-2018 11:34                2068
gringo_5.2.2-5_amd64.deb                           05-Feb-2018 11:34             2184928
gringo_5.2.2-5_i386.deb                            05-Feb-2018 11:36             2327204
gringo_5.2.2.orig.tar.gz                           10-Nov-2017 11:09             2642685
gringo_5.2.3-2.debian.tar.xz                       03-Jul-2018 11:18               14848
gringo_5.2.3-2.dsc                                 03-Jul-2018 11:18                2087
gringo_5.2.3-2_amd64.deb                           03-Jul-2018 11:29             2198016
gringo_5.2.3-2_i386.deb                            03-Jul-2018 11:29             2341492
gringo_5.2.3-2ubuntu1.debian.tar.xz                02-Nov-2018 07:13               16672
gringo_5.2.3-2ubuntu1.dsc                          02-Nov-2018 07:13                2140
gringo_5.2.3-2ubuntu1_amd64.deb                    02-Nov-2018 07:18             2197800
gringo_5.2.3-2ubuntu1_i386.deb                     02-Nov-2018 07:18             2339712
gringo_5.2.3.orig.tar.gz                           30-Jun-2018 17:18             2651628
gringo_5.3.0-10.debian.tar.xz                      22-Apr-2019 04:58               18496
gringo_5.3.0-10.dsc                                22-Apr-2019 04:58                2100
gringo_5.3.0-10_amd64.deb                          22-Apr-2019 06:53             2218432
gringo_5.3.0-10_i386.deb                           22-Apr-2019 06:54             2352428
gringo_5.3.0.orig.tar.gz                           22-Apr-2019 04:58             2684848