Index of /mirror/debian/pool/main/g/gringo
Name Last modified Size Description
Parent Directory -
gringo_5.3.0.orig.tar.gz 2018-11-11 18:41 2.6M
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_i386.deb 2019-03-02 10:28 2.3M
gringo_5.3.0-10_amd64.deb 2019-03-02 10:43 2.1M
gringo_5.4.1.orig.tar.gz 2020-12-27 16:25 2.7M
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-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.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.6.2.orig.tar.gz 2024-02-12 10:07 4.8M
gringo_5.6.2-2.debian.tar.xz 2024-06-25 14:02 24K
gringo_5.6.2-2.dsc 2024-06-25 14:02 2.0K
gringo_5.6.2-2_amd64.deb 2024-06-25 14:42 1.8M
gringo_5.6.2-2_i386.deb 2024-06-25 14:42 1.9M