![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ChezScheme-9.5.4-1.f..> | 2020-09-22 09:16 | 4.1M | |
| MiniZincIDE-2.4.3-1...> | 2020-09-22 07:49 | 604K | |
| SFMT-1.4.1-4.fc32.x8..> | 2020-09-22 07:09 | 12K | |
| ats2-0.4.1-1.fc32.x8..> | 2020-09-22 07:37 | 1.5M | |
| ats2-gmp-0.4.1-1.fc3..> | 2020-09-22 07:46 | 1.5M | |
| ats2-int-0.4.1-1.fc3..> | 2020-09-22 07:41 | 1.5M | |
| bytes-1.1-1.fc32.x86..> | 2020-09-22 07:07 | 9.1K | |
| drracket-7.8-1.0.x86..> | 2020-09-22 17:11 | 21K | |
| gecode-6.2.0-1.fc32...> | 2020-09-22 09:40 | 43M | |
| gecode-devel-6.2.0-1..> | 2020-09-22 09:38 | 616K | |
| gracket-7.8-1.0.x86_..> | 2020-09-22 17:11 | 8.1K | |
| jags4-4.2.0-1.0.x86_..> | 2020-09-22 12:15 | 9.8M | |
| jags4-devel-4.2.0-1...> | 2020-09-22 12:15 | 66K | |
| libracket-7.8-1.0.x8..> | 2020-09-22 17:11 | 1.4M | |
| libracket-devel-7.8-..> | 2020-09-22 17:11 | 1.6M | |
| racket-7.8-1.0.x86_6..> | 2020-09-22 17:13 | 90M | |