Index of /raspbian/pool/main/g/gringo/

../
gringo_4.4.0-1.debian.tar.xz                       18-Aug-2014 15:52                8304
gringo_4.4.0-1.dsc                                 18-Aug-2014 15:52                2053
gringo_4.4.0-1_armhf.deb                           29-Aug-2014 11:10             1359888
gringo_4.4.0.orig.tar.gz                           18-Aug-2014 15:52             1482711