Index of /old-ubuntu/pool/universe/g/gringo/

../
gringo_3.0.3-7_amd64.deb                                                                                                 25-Sep-2023 15:12      1M
gringo_3.0.3-7_i386.deb                                                                                                  25-Sep-2023 15:12      1M