Index of /pool/main/g/gringo/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
gringo_5.6.2-2_armhf.deb 16038082024-Jun-27 09:57
gringo_5.6.2-2.debian.tar.xz 245002024-Jun-25 12:02
gringo_5.6.2-2.dsc 20122024-Jun-25 12:02
gringo_5.6.2.orig.tar.gz 50790182024-Feb-12 09:07
gringo_5.4.1-3.1+rpi1+b1_armhf.deb 15364762023-Feb-26 20:11
gringo_5.4.1-3.1+rpi1.dsc 23022022-Dec-16 10:08
gringo_5.4.1-3.1+rpi1.debian.tar.xz 264522022-Dec-16 10:08
gringo_5.4.1-3+rpi1.dsc 22972020-Dec-30 20:04
gringo_5.4.1-3+rpi1.debian.tar.xz 243482020-Dec-30 20:04
gringo_5.4.1-3+rpi1_armhf.deb 15556842020-Dec-30 20:04
gringo_5.4.1.orig.tar.gz 28228452020-Dec-27 15:25
gringo_5.3.0-10+rpi1_armhf.deb 19380722019-Mar-14 21:28
gringo_5.3.0-10+rpi1.debian.tar.xz 186122019-Mar-14 21:28
gringo_5.3.0-10+rpi1.dsc 12372019-Mar-14 21:28
gringo_5.3.0.orig.tar.gz 26848482018-Nov-11 17:41