HCoop
/
jackhill
/
guix
/
guix.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
gnu: cvs-fast-export: Update to 1.56.
[jackhill/guix/guix.git]
/
gnu
/
packages
/
idris.scm
2021-01-25
Leo Famulari
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
2021-01-20
Eric Bavier
gnu: idris: Update to 1.3.3.
blob
|
commitdiff
|
raw
2020-09-05
Efraim Flashner
Merge remote-tracking branch 'origin/master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2020-08-29
Timothy Sample
gnu: idris: Fix for Haskell build system changes.
blob
|
commitdiff
|
raw
|
diff to current
2020-03-10
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2020-03-09
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2020-03-09
Tobias Geerinckx...
gnu: idris: Use HTTPS home page.
blob
|
commitdiff
|
raw
|
diff to current
2019-12-05
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2019-11-21
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2019-11-21
Timothy Sample
gnu: idris: Fix Cabal dependency constraints.
blob
|
commitdiff
|
raw
|
diff to current
2019-11-21
Timothy Sample
gnu: ghc-megaparsec: Update to 7.0.5.
blob
|
commitdiff
|
raw
|
diff to current
2019-11-21
Timothy Sample
gnu: ghc-network: Update to 2.8.0.1.
blob
|
commitdiff
|
raw
|
diff to current
2019-10-10
Mathieu Othacehe
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2019-10-08
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2019-09-27
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2019-09-25
Eric Bavier
gnu: idris: Update to 1.3.2.
blob
|
commitdiff
|
raw
|
diff to current
2019-09-07
Mark H Weaver
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2019-08-31
Robert Vollmert
gnu: Move non-compilers out of haskell.scm.
blob
|
commitdiff
|
raw
|
diff to current
2019-08-08
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2019-08-08
Robert Vollmert
gnu: Remove ghc-parsec, ghc-stm, ghc-text, ghc-xhtml.
blob
|
commitdiff
|
raw
|
diff to current
2019-07-31
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2019-07-18
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2019-07-17
Ludovic Courtès
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2019-07-04
Robert Vollmert
gnu: Remove ghc-parsec, ghc-stm, ghc-text, ghc-xhtml.
blob
|
commitdiff
|
raw
|
diff to current
2019-05-01
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2019-04-16
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2019-04-12
Eric Bavier
gnu: idris: Run tests.
blob
|
commitdiff
|
raw
|
diff to current
2019-04-12
Eric Bavier
gnu: idris: Enable FFI and GMP support.
blob
|
commitdiff
|
raw
|
diff to current
2019-04-12
Eric Bavier
gnu: idris: Upgrade to 1.3.1.
blob
|
commitdiff
|
raw
|
diff to current
2018-12-03
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2018-10-21
Jan Nieuwenhuizen
Merge branch 'core-updates' into core-updates-next
blob
|
commitdiff
|
raw
|
diff to current
2018-10-05
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2018-10-01
Timothy Sample
gnu: idris: Update to 1.3.0.
blob
|
commitdiff
|
raw
|
diff to current
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
HCoop / jackhill / guix / guix.git / history