Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
chuffed_0.13.1.orig...> | 2024-02-15 05:11 | 2.0M | ||
chuffed-flatzinc_0.1..> | 2024-04-26 11:14 | 614K | ||
chuffed-flatzinc_0.1..> | 2024-04-26 11:29 | 584K | ||
chuffed-flatzinc_0.1..> | 2024-10-28 15:47 | 529K | ||
chuffed-flatzinc_0.1..> | 2024-04-26 11:24 | 497K | ||
chuffed-flatzinc_0.1..> | 2024-04-26 11:24 | 472K | ||
chuffed_0.13.1-1.deb..> | 2024-02-15 05:11 | 4.9K | ||
chuffed_0.13.1-1.dsc | 2024-02-15 05:11 | 2.0K | ||