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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]gringo_5.1.0-4.debian.tar.xz2016-12-20 08:01 13K 
[   ]gringo_5.1.0-4.dsc2016-12-20 08:01 2.0K 
[   ]gringo_5.1.0-4_amd64.deb2016-12-20 08:01 2.2M 
[   ]gringo_5.1.0-4_i386.deb2016-12-20 08:26 2.4M 
[   ]gringo_5.1.0.orig.tar.gz2016-12-11 21:52 2.1M 
[   ]gringo_5.3.0-10.debian.tar.xz2019-03-02 09:38 18K 
[   ]gringo_5.3.0-10.dsc2019-03-02 09:38 2.1K 
[   ]gringo_5.3.0-10_amd64.deb2019-03-02 10:43 2.1M 
[   ]gringo_5.3.0-10_i386.deb2019-03-02 10:28 2.3M 
[   ]gringo_5.3.0.orig.tar.gz2018-11-11 18:41 2.6M 

Apache/2.4.25 (Debian) Server at osmirror.rug.nl Port 80