summaryrefslogtreecommitdiff
path: root/lang/idris/Makefile
AgeCommit message (Expand)AuthorFilesLines
2022-09-07Recursive bump for recently updated Haskell packagespho1-2/+2
2022-08-20hs*: recursive bump for new dependencies neededwiz1-2/+2
2022-02-26*: Bump packages that depend on devel/hs-fsnotifypho1-2/+2
2022-02-26lang/idris: Link idris with static Haskell librariespho1-3/+17
2022-02-26Bump all Haskell packages after enabling "split sections" in mk/haskell.mkpho1-2/+2
2022-02-12revbump after changing the default Haskell compilerpho1-1/+2
2022-02-12Update to idris-1.3.4pho1-12/+6
2022-01-18Bump packages that depends on GHCpho1-2/+2
2021-12-08revbump for icu and libffiadam1-2/+2
2021-05-03*: Bump PKGREVISION for ghc-9.0.1pho1-1/+2
2021-04-25Update to idris-1.3.3pho1-8/+2
2020-10-13Fix the installation path for man pagespho1-3/+3
2020-03-08*: recursive bump for libffiwiz1-1/+2
2020-01-20Import idris-1.3.2pho1-0/+74