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

../
gringo_3.0.3-7.debian.tar.gz                       21-Mar-2025 20:33                7287
gringo_3.0.3-7.dsc                                 21-Mar-2025 20:33                2041
gringo_3.0.3-7_amd64.deb                           21-Mar-2025 20:33             1545428
gringo_3.0.3-7_i386.deb                            21-Mar-2025 20:33             1544416
gringo_3.0.3.orig.tar.gz                           21-Mar-2025 20:33              537198
gringo_4.2.1-4.debian.tar.gz                       21-Mar-2025 20:33                8893
gringo_4.2.1-4.dsc                                 21-Mar-2025 20:33                2041
gringo_4.2.1-4_amd64.deb                           21-Mar-2025 20:33              926788
gringo_4.2.1-4_i386.deb                            21-Mar-2025 20:33              915338
gringo_4.2.1.orig.tar.gz                           21-Mar-2025 20:33              615728
gringo_4.5.4-1.debian.tar.xz                       21-Mar-2025 20:33                6472
gringo_4.5.4-1.dsc                                 21-Mar-2025 20:33                2053
gringo_4.5.4-1_amd64.deb                           21-Mar-2025 20:33             1833466
gringo_4.5.4-1_i386.deb                            21-Mar-2025 20:34             1855812
gringo_4.5.4.orig.tar.gz                           21-Mar-2025 20:34             1677479
gringo_5.2.2-5.debian.tar.xz                       21-Mar-2025 20:34               13912
gringo_5.2.2-5.dsc                                 21-Mar-2025 20:34                2068
gringo_5.2.2-5_amd64.deb                           21-Mar-2025 20:34             2184928
gringo_5.2.2-5_i386.deb                            21-Mar-2025 20:34             2327204
gringo_5.2.2.orig.tar.gz                           21-Mar-2025 20:34             2642685
gringo_5.4.0-0ubuntu1.debian.tar.xz                21-Mar-2025 20:34               16288
gringo_5.4.0-0ubuntu1.dsc                          21-Mar-2025 20:34                2143
gringo_5.4.0-0ubuntu1_amd64.deb                    21-Mar-2025 20:34             2235412
gringo_5.4.0-2ubuntu1.debian.tar.xz                21-Mar-2025 20:34               23148
gringo_5.4.0-2ubuntu1.dsc                          21-Mar-2025 20:34                2198
gringo_5.4.0-2ubuntu1_amd64.deb                    21-Mar-2025 20:34             1858224
gringo_5.4.0-2ubuntu2.debian.tar.xz                21-Mar-2025 20:34               23192
gringo_5.4.0-2ubuntu2.dsc                          21-Mar-2025 20:34                2198
gringo_5.4.0-2ubuntu2_amd64.deb                    21-Mar-2025 20:34             1851844
gringo_5.4.0.orig.tar.gz                           21-Mar-2025 20:34             2822810