Index of /linux/debian/bullseye/pool/main/g/gringo/

../
gringo_5.4.1-3_amd64.deb                           16-Dec-2022 12:08             1842476
gringo_5.4.1-3_arm64.deb                           16-Dec-2022 10:14             1669972
gringo_5.4.1-3_i386.deb                            16-Dec-2022 09:51             1973724