Apache/2.4.62 (Debian) Server at mirror.freedif.org Port 443Name Last modified Size Description
Parent Directory -
gringo_5.3.0-10_amd64.deb 2022-04-11 11:36 2.1M
gringo_5.3.0.orig.tar.gz 2022-04-11 11:22 2.6M
gringo_5.3.0-10.dsc 2022-04-11 11:22 2.1K
gringo_5.3.0-10.debian.tar.xz 2022-04-11 11:22 18K
gringo_5.3.0-10_i386.deb 2022-04-11 11:06 2.3M