/debian/pool/main/g/gringo/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
gringo_5.6.2-2.dsc	2.0 KiB	2024-Jun-25 12:02
gringo_5.3.0-10.dsc	2.1 KiB	2019-Mar-02 08:38
gringo_5.4.1-3.dsc	2.1 KiB	2020-Dec-28 13:44
gringo_5.4.1-3.1.dsc	2.1 KiB	2022-Nov-19 11:27
gringo_5.3.0-10.debian.tar.xz	18.1 KiB	2019-Mar-02 08:38
gringo_5.4.1-3.1.debian.tar.xz	21.1 KiB	2022-Nov-19 11:27
gringo_5.4.1-3.debian.tar.xz	22.6 KiB	2020-Dec-28 13:44
gringo_5.6.2-2.debian.tar.xz	23.9 KiB	2024-Jun-25 12:02
gringo_5.4.1-3_amd64.deb	1.8 MiB	2020-Dec-28 14:09
gringo_5.6.2-2_amd64.deb	1.8 MiB	2024-Jun-25 12:42
gringo_5.4.1-3.1+b1_amd64.deb	1.8 MiB	2023-Jan-03 07:45
gringo_5.4.1-3_i386.deb	1.9 MiB	2020-Dec-28 14:14
gringo_5.4.1-3.1+b1_i386.deb	1.9 MiB	2023-Jan-03 14:31
gringo_5.6.2-2_i386.deb	1.9 MiB	2024-Jun-25 12:42
gringo_5.3.0-10_amd64.deb	2.1 MiB	2019-Mar-02 09:43
gringo_5.3.0-10_i386.deb	2.3 MiB	2019-Mar-02 09:28
gringo_5.3.0.orig.tar.gz	2.6 MiB	2018-Nov-11 17:41
gringo_5.4.1.orig.tar.gz	2.7 MiB	2020-Dec-27 15:25
gringo_5.6.2.orig.tar.gz	4.8 MiB	2024-Feb-12 09:07