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