| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2022-08-29 | dris: fix build with current pkgsrc version of dependencies | wiz | 1 | -2/+2 |
| 2022-02-26 | lang/idris: Link idris with static Haskell libraries | pho | 1 | -2/+2 |
| 2022-02-12 | Update to idris-1.3.4 | pho | 1 | -8/+5 |
| 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-04-25 | Update to idris-1.3.3 | pho | 1 | -11/+10 |
| 2020-10-13 | Fix the installation path for man pages | pho | 1 | -2/+2 |
| 2020-01-20 | Import idris-1.3.2 | pho | 1 | -0/+19 |
 |
index : pkgsrc | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |