Filename | Modification time | Size |
---|---|---|
Manifest | 1844 B | |
idris2-0.6.0.ebuild | 2479 B | |
idris2-0.7.0.ebuild | 2828 B | |
metadata.xml | 1255 B |
Filename | Modification time | Size |
---|---|---|
Manifest | 1844 B | |
idris2-0.6.0.ebuild | 2479 B | |
idris2-0.7.0.ebuild | 2828 B | |
metadata.xml | 1255 B |