index
:
guix-patches
issue-50054
issue-62375
issue-62891
issue-64209
issue-66586
issue-67245
issue-67613
issue-67849
issue-68289
issue-68296
issue-68353
issue-68828
issue-69023
issue-69052
issue-69185
issue-69367
issue-69513
issue-69593
issue-69620
issue-69791
issue-69817
issue-69962
issue-69999
issue-70001
issue-70005
issue-70020
issue-70022
issue-70037
issue-70056
issue-70066
issue-70067
issue-70078
issue-70083
issue-70085
issue-70087
issue-70089
issue-70112
issue-70116
issue-70130
issue-70131
issue-70148
issue-70224
issue-70226
issue-70227
issue-70228
issue-70242
issue-70252
issue-70265
issue-70269
issue-70282
issue-70294
issue-70303
issue-70314
issue-70318
issue-70319
issue-70323
issue-70334
issue-70340
issue-70341
issue-70353
issue-70366
issue-70371
issue-70374
issue-70389
issue-70390
issue-70393
issue-70394
issue-70400
issue-70404
issue-70422
issue-70434
issue-70446
issue-70460
issue-70467
issue-70469
issue-70482
issue-70487
issue-70492
issue-70493
issue-70494
issue-70496
issue-70499
issue-70506
issue-70516
issue-70527
issue-70542
issue-70545
issue-70546
issue-70549
issue-70560
issue-70563
issue-70567
issue-70585
issue-70606
issue-70623
issue-70625
issue-70632
issue-70634
issue-70636
issue-70643
issue-70670
issue-70674
issue-70677
issue-70684
issue-70685
issue-70690
issue-70693
issue-70701
issue-70703
issue-70705
issue-70706
issue-70709
issue-70715
issue-70719
issue-70720
issue-70763
issue-70769
issue-70770
issue-70772
issue-70780
issue-70787
issue-70798
issue-70800
issue-70802
issue-70818
issue-70825
issue-70828
issue-70829
issue-70837
issue-70839
issue-70843
issue-70845
issue-70854
issue-70857
issue-70869
issue-70875
issue-70878
issue-70880
issue-70881
issue-70884
issue-70885
issue-70892
issue-70895
issue-70896
issue-70909
issue-70911
issue-70912
issue-70913
master
Patches for guix
Gitolite user
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
/
idris.scm
Commit message (
Expand
)
Author
Age
*
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-20
*
gnu: idris: Fixes test failure.
Eric Bavier
2022-04-13
*
gnu: Simplify package inputs.
Ludovic Courtès
2021-12-13
*
gnu: idris: Fix build.
Xinglu Chen
2021-10-08
*
gnu: Update Haskell ecosystem.
Lars-Dominik Braun
2021-10-08
*
gnu: idris: Update to 1.3.3.
Eric Bavier
2021-01-20
*
gnu: idris: Fix for Haskell build system changes.
Timothy Sample
2020-08-29
*
gnu: idris: Use HTTPS home page.
Tobias Geerinckx-Rice
2020-03-09
*
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-11-20
*
gnu: idris: Update to 1.3.2.
Eric Bavier
2019-09-24
*
gnu: Move non-compilers out of haskell.scm.
Robert Vollmert
2019-08-31
*
gnu: Remove ghc-parsec, ghc-stm, ghc-text, ghc-xhtml.
Robert Vollmert
2019-08-07
*
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
2019-04-11
*
gnu: idris: Update to 1.3.0.
Timothy Sample
2018-10-01
*
gnu: ghc-mtl: Remove built-in Haskell package.
Timothy Sample
2018-10-01
*
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
2018-03-15
*
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-11-13
*
gnu: idris: Fix idris-default-arguments.
Peter Mikkelsen
2017-04-15
*
gnu: idris: Update to 1.0.
Peter Mikkelsen
2017-04-15
*
gnu: idris: Update to 0.99.1.
Peter Mikkelsen
2017-03-23
*
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
2017-01-04