Index of /repo_desktop_1.5/pool/universe/g/gringo/

../
gringo_4.2.1-4_amd64.deb                           13-Jan-2014 06:54              926788
gringo_4.2.1-4_i386.deb                            13-Jan-2014 06:54              915338