| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2022-02-26 | *: Bump packages that depend on devel/hs-fsnotify | pho | 1 | -2/+2 |
| 2022-02-26 | lang/idris: Link idris with static Haskell libraries | pho | 5 | -281/+22 |
| 2022-02-26 | Bump all Haskell packages after enabling "split sections" in mk/haskell.mk | pho | 2 | -4/+4 |
| 2022-02-12 | revbump after changing the default Haskell compiler | pho | 2 | -3/+4 |
| 2022-02-12 | Update to idris-1.3.4 | pho | 7 | -131/+30 |
| 2022-01-18 | Bump packages that depends on GHC | pho | 2 | -4/+4 |
| 2021-12-08 | revbump for icu and libffi | adam | 1 | -2/+2 |
| 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 |