| Filename | Modified | Size | Type |
|---|---|---|---|
| [Parent Directory] | - | - | - |
| gecode-flatzinc_6.2.0+git20240207-2_amd64.deb | 14/02/25 00:5414/02/25 | 2.5 MiB | [Save][Download] |
| gecode-snapshot_6.2.0+git20240207-2.debian.tar.xz | 13/02/25 23:3313/02/25 | 13.2 KiB | [Save][Download] |
| gecode-snapshot_6.2.0+git20240207-2.dsc | 13/02/25 23:3313/02/25 | 2 KiB | [Save][Download] |
| gecode-snapshot_6.2.0+git20240207.orig.tar.xz | 31/10/24 18:5131/10/24 | 3.8 MiB | [Save][Download] |