| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2021-10-26 | lang: Replace RMD160 checksums with BLAKE2s checksums | nia | 1 | -2/+2 |
| 2021-10-07 | lang: Remove SHA1 hashes for distfiles | nia | 1 | -2/+1 |
| 2021-05-03 | *: Bump PKGREVISION for ghc-9.0.1 | pho | 2 | -3/+4 |
| 2021-04-25 | Update to idris-1.3.3 | pho | 11 | -697/+688 |
| 2020-10-13 | Fix the installation path for man pages | pho | 4 | -12/+1087 |
| 2020-03-08 | *: recursive bump for libffi | wiz | 1 | -1/+2 |
| 2020-01-20 | Import idris-1.3.2 | pho | 18 | -0/+535 |
 |
index : pkgsrc | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |