The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]metanet.ch.

Index of /ubuntu/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_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.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_amd64.deb                    21-Feb-2020 20:23             2235412
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_amd64.deb                         27-Dec-2022 04:54             2115218
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_amd64.deb                    19-Jan-2022 12:13             2110376
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_amd64.deb                    31-Jan-2024 10:35             2126632
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_amd64.deb                           26-Jun-2024 12:14             2077520
gringo_5.6.2.orig.tar.gz                           26-Jan-2024 10:09             5079018

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.