Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 80Name Last modified Size Description
Parent Directory -
chuffed-flatzinc_0.13.1-1_amd64.deb 2024-05-03 18:35 509K
chuffed_0.13.1-1.debian.tar.xz 2024-05-03 04:34 4.9K
chuffed_0.13.1-1.dsc 2024-05-03 04:34 2.0K
chuffed_0.13.1.orig.tar.xz 2024-05-03 04:34 2.0M