summaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
AgeCommit message (Expand)Author
2023-02-26gnu: idris: Adapt to changed haskell-build-system.Lars-Dominik Braun
2023-02-26gnu: idris: Fix overly zealous regular expression.Lars-Dominik Braun
2023-02-26Upgrade Haskell packages.Lars-Dominik Braun
2022-04-20gnu: idris: Update to 1.3.4.Eric Bavier
2022-04-20gnu: idris: Use cc-for-target.Eric Bavier
2022-04-20gnu: idris: Remove trailing #t.Eric Bavier
2022-04-13gnu: idris: Fixes test failure.Eric Bavier
2021-12-13gnu: Simplify package inputs.Ludovic Courtès
2021-10-08gnu: idris: Fix build.Xinglu Chen
2021-10-08gnu: Update Haskell ecosystem.Lars-Dominik Braun
2021-01-20gnu: idris: Update to 1.3.3.Eric Bavier
2020-08-29gnu: idris: Fix for Haskell build system changes.Timothy Sample
2020-03-09gnu: idris: Use HTTPS home page.Tobias Geerinckx-Rice
2019-11-20gnu: idris: Fix Cabal dependency constraints.Timothy Sample
2019-11-20gnu: ghc-megaparsec: Update to 7.0.5.Timothy Sample
2019-11-20gnu: ghc-network: Update to 2.8.0.1.Timothy Sample
2019-09-24gnu: idris: Update to 1.3.2.Eric Bavier
2019-08-31gnu: Move non-compilers out of haskell.scm.Robert Vollmert
2019-08-07gnu: Remove ghc-parsec, ghc-stm, ghc-text, ghc-xhtml.Robert Vollmert
2019-04-11gnu: idris: Run tests.Eric Bavier
2019-04-11gnu: idris: Enable FFI and GMP support.Eric Bavier
2019-04-11gnu: idris: Upgrade to 1.3.1.Eric Bavier
2018-10-01gnu: idris: Update to 1.3.0.Timothy Sample
2018-10-01gnu: ghc-mtl: Remove built-in Haskell package.Timothy Sample
2018-03-15gnu: idris: Provide the right versions of dependencies.Alex ter Weele
2018-03-15gnu: Add ghc-cheapskate-0.1.0.5.Alex ter Weele
2018-03-15gnu: Add ghc-trifecta-1.6.2.1.Alex ter Weele
2018-03-15gnu: Add ghc-aeson-1.1.2.0.Alex ter Weele
2017-11-13gnu: Move web packages from haskell to haskell-web.Ricardo Wurmus
2017-11-13gnu: Move testing packages from haskell to haskell-check.Ricardo Wurmus
2017-04-15gnu: idris: Fix idris-default-arguments.Peter Mikkelsen
2017-04-15gnu: idris: Update to 1.0.Peter Mikkelsen
2017-03-23gnu: idris: Update to 0.99.1.Peter Mikkelsen
2017-01-04gnu: Add idris-lens.David Craven
2017-01-04gnu: Add idris-bifunctors.David Craven
2017-01-04gnu: Add idris-wl-pprint.David Craven
2017-01-04gnu: Add idris-lightyear.David Craven
2017-01-04gnu: idris: Move to (gnu packages idris).David Craven
generated by cgit v1.2.3 (git 2.45.2) at 2025-03-15 05:00:34 +0000