Index of /debian/pool/main/g/gringo
Name Last modified Size Description
![[PARENTDIR]](/strapdown/icons/glyphicon-circle-arrow-up.svg)
Parent Directory -
![[ ]](/strapdown/icons/glyphicon-file.svg)
gringo_5.3.0-10.debian.tar.xz 2019-03-02 09:38 18K
gringo_5.3.0-10.dsc 2019-03-02 09:38 2.1K
gringo_5.3.0-10_amd64.deb 2019-03-02 10:43 2.1M
gringo_5.3.0-10_i386.deb 2019-03-02 10:28 2.3M
![[ ]](/icons/compressed.gif)
gringo_5.3.0.orig.tar.gz 2018-11-11 18:41 2.6M
gringo_5.4.1-3.1+b1_amd64.deb 2023-01-03 08:45 1.8M
gringo_5.4.1-3.1+b1_i386.deb 2023-01-03 15:31 1.9M
gringo_5.4.1-3.1.debian.tar.xz 2022-11-19 12:27 21K
gringo_5.4.1-3.1.dsc 2022-11-19 12:27 2.1K
gringo_5.4.1-3.debian.tar.xz 2020-12-28 14:44 23K
gringo_5.4.1-3.dsc 2020-12-28 14:44 2.1K
gringo_5.4.1-3_amd64.deb 2020-12-28 15:09 1.8M
gringo_5.4.1-3_i386.deb 2020-12-28 15:14 1.9M
gringo_5.4.1.orig.tar.gz 2020-12-27 16:25 2.7M
gringo_5.6.2-1+b1_amd64.deb 2024-03-18 10:35 1.9M
gringo_5.6.2-1+b1_i386.deb 2024-03-18 10:40 2.0M
gringo_5.6.2-1.debian.tar.xz 2024-02-12 10:07 24K
gringo_5.6.2-1.dsc 2024-02-12 10:07 2.1K
gringo_5.6.2.orig.tar.gz 2024-02-12 10:07 4.8M