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


../
gringo_3.0.3-7_amd64.deb                                                                                                 25-Sep-2023 20:30      1M
gringo_3.0.3-7_i386.deb                                                                                                  25-Sep-2023 20:30      1M