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


../
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_arm64.deb                           13-Jan-2014 06:54              821904
gringo_4.2.1-4_armhf.deb                           13-Jan-2014 06:54              763872
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_arm64.deb                           20-Dec-2015 17:39             1684962
gringo_4.5.4-1_armhf.deb                           20-Dec-2015 17:39             1622100
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_arm64.deb                           05-Feb-2018 11:34             2115404
gringo_5.2.2-5_armhf.deb                           05-Feb-2018 11:35             1971164
gringo_5.2.2.orig.tar.gz                           10-Nov-2017 11:09             2642685
gringo_5.4.0-0ubuntu1.debian.tar.xz                21-Feb-2020 20:08               16288
gringo_5.4.0-0ubuntu1.dsc                          21-Feb-2020 20:08                2143
gringo_5.4.0-0ubuntu1_arm64.deb                    21-Feb-2020 20:33             2084948
gringo_5.4.0-0ubuntu1_armhf.deb                    21-Feb-2020 20:33             1991648
gringo_5.4.0.orig.tar.gz                           21-Feb-2020 20:08             2822810
gringo_5.4.1-3.1.debian.tar.xz                     27-Dec-2022 04:54               21592
gringo_5.4.1-3.1.dsc                               27-Dec-2022 04:54                2131
gringo_5.4.1-3.1_arm64.deb                         27-Dec-2022 04:54             2038320
gringo_5.4.1-3.1_armhf.deb                         27-Dec-2022 04:54             1836652
gringo_5.4.1-3ubuntu3.debian.tar.xz                19-Jan-2022 12:09               25156
gringo_5.4.1-3ubuntu3.dsc                          19-Jan-2022 12:09                2250
gringo_5.4.1-3ubuntu3_arm64.deb                    19-Jan-2022 12:13             2002490
gringo_5.4.1-3ubuntu3_armhf.deb                    19-Jan-2022 12:13             1864114
gringo_5.4.1.orig.tar.gz                           31-Dec-2020 21:34             2822845
gringo_5.6.2-0ubuntu3.debian.tar.xz                31-Jan-2024 10:35               21788
gringo_5.6.2-0ubuntu3.dsc                          31-Jan-2024 10:35                2153
gringo_5.6.2-0ubuntu3_arm64.deb                    31-Jan-2024 10:35             2122500
gringo_5.6.2-0ubuntu3_armhf.deb                    31-Jan-2024 11:20             1889076
gringo_5.6.2-2.debian.tar.xz                       26-Jun-2024 10:36               24500
gringo_5.6.2-2.dsc                                 26-Jun-2024 10:36                2012
gringo_5.6.2-2_arm64.deb                           26-Jun-2024 12:14             2122794
gringo_5.6.2-2_armhf.deb                           26-Jun-2024 12:14             1887090
gringo_5.6.2.orig.tar.gz                           26-Jan-2024 10:09             5079018