| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| curry-tools_2.1.0-1.debian.tar.xz | 3828 | 2019-Jan-31 12:26 |
| curry-tools_2.1.0-1.dsc | 2082 | 2019-Jan-31 12:26 |
| curry-tools_2.1.0.orig.tar.gz | 534817 | 2019-Jan-31 12:26 |
| curry-tools-source_2.1.0-1_all.deb | 298520 | 2019-Jan-31 13:11 |
| curry-tools_3.3.0.orig.tar.gz | 596237 | 2021-Feb-04 15:45 |
| curry-tools_3.3.0-2.debian.tar.xz | 3968 | 2021-Feb-04 22:58 |
| curry-tools_3.3.0-2.dsc | 2082 | 2021-Feb-04 22:58 |
| curry-tools-source_3.3.0-2_all.deb | 324300 | 2021-Feb-04 23:13 |