HCoop
/
jackhill
/
guix
/
guix.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
gnu: igt-gpu-tools: Don't use NAME in source URI.
[jackhill/guix/guix.git]
/
gnu
/
packages
/
idris.scm
2018-10-05
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
2018-10-01
Timothy Sample
gnu: idris: Update to 1.3.0.
blob
|
commitdiff
|
raw
2018-10-01
Timothy Sample
gnu: ghc-mtl: Remove built-in Haskell package.
blob
|
commitdiff
|
raw
|
diff to current
2018-03-18
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2018-03-17
Mark H Weaver
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2018-03-15
Alex ter Weele
gnu: idris: Provide the right versions of dependencies.
blob
|
commitdiff
|
raw
|
diff to current
2018-03-15
Alex ter Weele
gnu: Add ghc-cheapskate-0.1.0.5.
blob
|
commitdiff
|
raw
|
diff to current
2018-03-15
Alex ter Weele
gnu: Add ghc-trifecta-1.6.2.1.
blob
|
commitdiff
|
raw
|
diff to current
2018-03-15
Alex ter Weele
gnu: Add ghc-aeson-1.1.2.0.
blob
|
commitdiff
|
raw
|
diff to current
2017-11-19
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2017-11-13
Ricardo Wurmus
gnu: Move web packages from haskell to haskell-web.
blob
|
commitdiff
|
raw
|
diff to current
2017-11-13
Ricardo Wurmus
gnu: Move testing packages from haskell to haskell...
blob
|
commitdiff
|
raw
|
diff to current
2017-05-24
Ricardo Wurmus
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2017-04-30
Kei Kebreau
Merge commit '2ff8dea' into gnome-updates
blob
|
commitdiff
|
raw
|
diff to current
2017-04-18
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2017-04-15
Peter Mikkelsen
gnu: idris: Fix idris-default-arguments.
blob
|
commitdiff
|
raw
|
diff to current
2017-04-15
Peter Mikkelsen
gnu: idris: Update to 1.0.
blob
|
commitdiff
|
raw
|
diff to current
2017-03-23
Efraim Flashner
Merge remote-tracking branch 'origin/master' into core...
blob
|
commitdiff
|
raw
|
diff to current
2017-03-23
Peter Mikkelsen
gnu: idris: Update to 0.99.1.
blob
|
commitdiff
|
raw
|
diff to current
2017-01-13
Leo Famulari
Merge branch 'master' into python-tests
blob
|
commitdiff
|
raw
|
diff to current
2017-01-06
Leo Famulari
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
David Craven
gnu: Add idris-lens.
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
David Craven
gnu: Add idris-bifunctors.
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
David Craven
gnu: Add idris-wl-pprint.
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
David Craven
gnu: Add idris-lightyear.
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
David Craven
gnu: idris: Move to (gnu packages idris).
blob
|
commitdiff
|
raw
|
diff to current