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

../
gringo_5.3.0-10+rpi1_armhf.deb                     14-Mar-2019 21:28             1938072
gringo_5.4.1-3+rpi1_armhf.deb                      30-Dec-2020 20:04             1555684