Index of /etap/pool/main/g/gringo/

../
gringo_4.4.0-1.debian.tar.xz                       27-Sep-2017 13:36    8304
gringo_4.4.0-1.dsc                                 27-Sep-2017 13:36    2053
gringo_4.4.0-1_amd64.deb                           27-Sep-2017 14:35      2M
gringo_4.4.0-1_i386.deb                            27-Sep-2017 13:41      2M
gringo_4.4.0.orig.tar.gz                           27-Sep-2017 13:36      1M