index
:
guix-patches
issue-50054
issue-54165
issue-67642
issue-67849
issue-67970
issue-68309
issue-69090
issue-69411
issue-69504
issue-69918
issue-69980
issue-70066
issue-70131
issue-70323
issue-70341
issue-70389
issue-70632
issue-70636
issue-70677
issue-70685
issue-70701
issue-70770
issue-70787
issue-70800
issue-70828
issue-70829
issue-70837
issue-70845
issue-70880
issue-70884
issue-70895
issue-70896
issue-70923
issue-70924
issue-70925
issue-70947
issue-70965
issue-70967
issue-70971
issue-70985
issue-70995
issue-70998
issue-71020
issue-71023
issue-71027
issue-71035
issue-71038
issue-71041
issue-71044
issue-71052
issue-71064
issue-71066
issue-71067
issue-71069
issue-71072
issue-71077
issue-71091
issue-71095
issue-71109
issue-71128
issue-71141
issue-71143
issue-71145
issue-71146
issue-71161
issue-71165
issue-71181
issue-71184
issue-71196
issue-71203
issue-71208
issue-71219
issue-71228
issue-71231
issue-71232
issue-71239
issue-71241
issue-71251
issue-71255
issue-71257
issue-71263
issue-71275
issue-71276
issue-71279
issue-71280
issue-71287
issue-71294
issue-71308
issue-71316
issue-71318
issue-71319
issue-71324
issue-71327
issue-71328
issue-71339
issue-71340
issue-71341
issue-71342
issue-71344
issue-71348
issue-71358
issue-71359
issue-71365
issue-71366
issue-71371
issue-71372
issue-71381
issue-71402
issue-71403
issue-71410
issue-71414
issue-71418
issue-71420
issue-71423
issue-71441
issue-71447
issue-71449
issue-71451
issue-71457
issue-71460
issue-71463
issue-71465
issue-71476
issue-71480
issue-71482
issue-71492
issue-71498
issue-71501
issue-71505
issue-71506
issue-71507
issue-71508
issue-71511
issue-71512
issue-71513
issue-71514
issue-71515
issue-71516
issue-71517
issue-71519
issue-71524
issue-71527
issue-71530
issue-71531
issue-71539
issue-71540
issue-71544
issue-71546
issue-71552
issue-71557
issue-71559
issue-71561
issue-71564
issue-71565
issue-71570
issue-71575
issue-71580
issue-71582
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: 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