Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
idris-0.9.4.1.tar.gz/ | 2015-07-14 17:10 | - | ||
idris-0.9.8.tar.gz/ | 2015-07-14 17:10 | - | ||
idris-0.9.9.1.tar.gz/ | 2015-07-14 17:10 | - | ||
idris-0.9.9.tar.gz/ | 2015-07-14 17:10 | - | ||
idris-1.3.0.tar.gz/ | 2018-06-26 04:02 | - | ||
idris-1.3.1.tar.gz/ | 2019-02-21 07:11 | - | ||
idris-1.3.2.tar.gz/ | 2019-07-25 17:14 | - | ||
idris-1.3.3-2ef8238d..> | 2021-08-21 16:20 | - | ||
idris-1.3.3.tar.gz/ | 2020-06-10 04:09 | - | ||
idris-1.3.4.tar.gz/ | 2021-10-25 10:40 | - | ||