Apache/2.4.62 (Debian) Server at de.freedif.org Port 443Name Last modified Size Description
Parent Directory -
chuffed-flatzinc_0.13.1-1_armhf.deb 2024-05-20 12:08 435K
chuffed_0.13.1-1.debian.tar.xz 2024-02-15 21:11 4.9K
chuffed_0.13.1-1.dsc 2024-02-15 21:11 2.0K
chuffed_0.13.1.orig.tar.xz 2024-02-15 21:11 2.0M