Index of /nova/pool/extendido/g/gringo/

../
gringo_5.2.2-5.debian.tar.xz                       11-Jun-2020 03:54               13912
gringo_5.2.2-5.dsc                                 11-Jun-2020 03:54                2068
gringo_5.2.2-5_amd64.deb                           11-Jun-2020 04:24             2184928
gringo_5.2.2-5_i386.deb                            11-Jun-2020 02:49             2327204
gringo_5.2.2.orig.tar.gz                           11-Jun-2020 03:54             2642685
gringo_5.4.0-0ubuntu1.debian.tar.xz                22-Jun-2020 12:17               16288
gringo_5.4.0-0ubuntu1.dsc                          22-Jun-2020 12:17                2143
gringo_5.4.0-0ubuntu1_amd64.deb                    22-Jun-2020 09:09             2235412
gringo_5.4.0.orig.tar.gz                           22-Jun-2020 12:17             2822810
gringo_5.4.1-3ubuntu3.debian.tar.xz                01-May-2022 19:40               25156
gringo_5.4.1-3ubuntu3.dsc                          01-May-2022 19:40                2250
gringo_5.4.1-3ubuntu3_amd64.deb                    30-Apr-2022 03:00             2110376
gringo_5.4.1.orig.tar.gz                           01-May-2022 19:40             2822845