Index of /pub/mirrors/ubuntu/pool/universe/c/chuffed
Name
Last modified
Size
Description
Parent Directory
-
chuffed-flatzinc_0.1..>
2024-05-03 18:35
509K
chuffed_0.13.1-1.deb..>
2024-05-03 04:34
4.9K
chuffed_0.13.1.orig...>
2024-05-03 04:34
2.0M
chuffed_0.13.1-1.dsc
2024-05-03 04:34
2.0K