| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| SFMT-1.4.1-4.fc30.x8..> | 2019-09-29 15:09 | 12K | ||
| bytes-1.1-1.fc30.x86..> | 2019-09-29 15:10 | 9.1K | ||
| ChezScheme-9.5.2-1.f..> | 2019-09-29 16:30 | 4.2M | ||
| MiniZincIDE-2.3.2-1...> | 2019-09-29 17:06 | 565K | ||
| gecode-6.2.0-1.fc30...> | 2019-09-29 18:01 | 45M | ||
| gecode-devel-6.2.0-1..> | 2019-09-29 18:01 | 693K | ||
| drracket-7.5-1.0.x86..> | 2019-12-22 22:32 | 21K | ||
| gracket-7.5-1.0.x86_..> | 2019-12-22 22:32 | 8.1K | ||
| libracket-7.5-1.0.x8..> | 2019-12-22 22:33 | 1.4M | ||
| libracket-devel-7.5-..> | 2019-12-22 22:33 | 1.6M | ||
| racket-7.5-1.0.x86_6..> | 2019-12-22 22:35 | 86M | ||
| ats2-0.4.0-1.fc31.x8..> | 2019-12-29 10:46 | 1.5M | ||