| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2022-08-29 | dris: fix build with current pkgsrc version of dependencies | wiz | 1 | -1/+10 |
| 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 | 4 | -108/+16 |
| 2021-04-25 | Update to idris-1.3.3 | pho | 8 | -141/+111 |
| 2020-10-13 | Fix the installation path for man pages | pho | 1 | -7/+26 |
| 2020-01-20 | Import idris-1.3.2 | pho | 13 | -0/+370 |
 |
index : pkgsrc | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |