Index of /debian/pool/main/g/gringo/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
gringo_5.6.2.orig.tar.gz4.8 MiB2024-Feb-12 16:07
gringo_5.6.2-2_i386.deb1.9 MiB2024-Jun-25 19:42
gringo_5.6.2-2_amd64.deb1.8 MiB2024-Jun-25 19:42
gringo_5.6.2-2.dsc2.0 KiB2024-Jun-25 19:02
gringo_5.6.2-2.debian.tar.xz23.9 KiB2024-Jun-25 19:02
gringo_5.6.2-2+b1_arm64.deb1.7 MiB2024-Oct-30 16:14
gringo_5.4.1.orig.tar.gz2.7 MiB2020-Dec-27 22:25
gringo_5.4.1-3_i386.deb1.9 MiB2020-Dec-28 21:14
gringo_5.4.1-3_arm64.deb1.6 MiB2020-Dec-28 21:30
gringo_5.4.1-3_amd64.deb1.8 MiB2020-Dec-28 21:09
gringo_5.4.1-3.dsc2.1 KiB2020-Dec-28 20:44
gringo_5.4.1-3.debian.tar.xz22.6 KiB2020-Dec-28 20:44
gringo_5.4.1-3.1.dsc2.1 KiB2022-Nov-19 18:27
gringo_5.4.1-3.1.debian.tar.xz21.1 KiB2022-Nov-19 18:27
gringo_5.4.1-3.1+b1_i386.deb1.9 MiB2023-Jan-03 21:31
gringo_5.4.1-3.1+b1_arm64.deb1.6 MiB2023-Jan-03 13:12
gringo_5.4.1-3.1+b1_amd64.deb1.8 MiB2023-Jan-03 14:45