Index of /raspbian/raspbian/pool/main/g/gringo/?C=N&O=A

/raspbian/raspbian/pool/main/g/gringo/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
gringo_5.1.0-4.debian.tar.xz13.2 KiB2016-Dec-20 03:01
gringo_5.1.0-4.dsc2.0 KiB2016-Dec-20 03:01
gringo_5.1.0-4_armhf.deb1.9 MiB2016-Dec-31 12:08
gringo_5.1.0.orig.tar.gz2.1 MiB2016-Dec-11 16:52
gringo_5.3.0-10+rpi1.debian.tar.xz18.2 KiB2019-Mar-14 17:28
gringo_5.3.0-10+rpi1.dsc1.2 KiB2019-Mar-14 17:28
gringo_5.3.0-10+rpi1_armhf.deb1.8 MiB2019-Mar-14 17:28
gringo_5.3.0.orig.tar.gz2.6 MiB2018-Nov-11 13:41
gringo_5.4.1-3+rpi1.debian.tar.xz23.8 KiB2020-Dec-30 16:04
gringo_5.4.1-3+rpi1.dsc2.2 KiB2020-Dec-30 16:04
gringo_5.4.1-3+rpi1_armhf.deb1.5 MiB2020-Dec-30 16:04
gringo_5.4.1.orig.tar.gz2.7 MiB2020-Dec-27 11:25