| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| gecode_6.4.0_i686.deb | 3.3 MiB | 17-08-2026 | 20:07 | |
| gecode_6.4.0_x86_64.deb | 3.1 MiB | 17-08-2026 | 20:07 | |
| gecode_6.4.0_arm.deb | 2.8 MiB | 17-08-2026 | 20:07 | |
| gecode_6.4.0_aarch64.deb | 2.5 MiB | 17-08-2026 | 20:07 | |