index
:
guix-patches
issue-54165
issue-65031
issue-67755
issue-69389
issue-69461
issue-69591
issue-69736
issue-69918
issue-69975
issue-69980
issue-70066
issue-70341
issue-70800
issue-70829
issue-70837
issue-70875
issue-70880
issue-70884
issue-70895
issue-70924
issue-70925
issue-70933
issue-70965
issue-70967
issue-70985
issue-70995
issue-71038
issue-71052
issue-71077
issue-71109
issue-71141
issue-71143
issue-71145
issue-71146
issue-71184
issue-71232
issue-71251
issue-71279
issue-71280
issue-71316
issue-71327
issue-71359
issue-71403
issue-71414
issue-71418
issue-71423
issue-71447
issue-71449
issue-71451
issue-71482
issue-71516
issue-71519
issue-71540
issue-71544
issue-71581
issue-71585
issue-71589
issue-71594
issue-71599
issue-71615
issue-71630
issue-71667
issue-71668
issue-71673
issue-71676
issue-71697
issue-71713
issue-71719
issue-71722
issue-71747
issue-71758
issue-71764
issue-71769
issue-71773
issue-71780
issue-71781
issue-71782
issue-71787
issue-71788
issue-71793
issue-71794
issue-71802
issue-71810
issue-71821
issue-71825
issue-71826
issue-71831
issue-71832
issue-71833
issue-71857
issue-71859
issue-71862
issue-71871
issue-71875
issue-71897
issue-71900
issue-71911
issue-71920
issue-71922
issue-71925
issue-71928
issue-71930
issue-71931
issue-71933
issue-71937
issue-71938
issue-71947
issue-71957
issue-71968
issue-71976
issue-71978
issue-71981
issue-71982
issue-71984
issue-71989
issue-71996
issue-72001
issue-72007
issue-72008
issue-72009
issue-72011
issue-72014
issue-72016
issue-72017
issue-72027
issue-72030
issue-72031
issue-72032
issue-72033
issue-72035
issue-72037
issue-72052
issue-72056
issue-72060
issue-72062
issue-72064
issue-72066
issue-72070
issue-72071
issue-72072
issue-72074
issue-72075
issue-72078
issue-72081
issue-72082
issue-72083
issue-72087
issue-72094
issue-72101
issue-72102
issue-72103
issue-72106
issue-72107
issue-72108
issue-72109
issue-72111
issue-72112
issue-72113
issue-72114
issue-72115
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: 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