HCoop
/
jackhill
/
guix
/
guix.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
gnu: sequoia: Update to 0.17.0.
[jackhill/guix/guix.git]
/
gnu
/
packages
/
agda.scm
2020-03-28
Jakub Kądziołka
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
2020-03-18
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
2020-03-16
Tobias Geerinckx...
gnu: agda: Use HTTPS home page.
blob
|
commitdiff
|
raw
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: agda: Update to 2.6.0.1.
blob
|
commitdiff
|
raw
|
diff to current
2019-10-08
Marius Bakke
Merge branch 'master' into staging
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-29
Mark H Weaver
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2019-08-28
John Soo
gnu: agda-ial: Fix install step.
blob
|
commitdiff
|
raw
|
diff to current
2019-08-27
Ludovic Courtès
gnu: agda-ial: Fetch source from Git.
blob
|
commitdiff
|
raw
|
diff to current
2019-08-27
John Soo
gnu: Add agda-ial.
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-02-24
Marius Bakke
Merge branch 'staging' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2019-02-24
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2019-02-24
Tobias Geerinckx...
gnu: agda: Update to 2.5.4.2.
blob
|
commitdiff
|
raw
|
diff to current
2018-12-03
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2018-12-03
Ludovic Courtès
Merge branch 'core-updates'
blob
|
commitdiff
|
raw
|
diff to current
2018-11-29
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2018-11-24
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2018-11-24
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2018-11-21
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2018-11-21
Efraim Flashner
Merge remote-tracking branch 'origin/master' into core...
blob
|
commitdiff
|
raw
|
diff to current
2018-11-20
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2018-11-14
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2018-11-09
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2018-11-07
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2018-11-05
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2018-10-22
Marius Bakke
Merge branch 'master' into core-updates
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-21
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2018-10-19
Alex Vong
build-system/haskell: Use 'strip-store-file-name'.
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
Ricardo Wurmus
gnu: agda: Fix build.
blob
|
commitdiff
|
raw
|
diff to current
2018-10-01
Timothy Sample
gnu: agda: Update to 2.5.4.1.
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-08-01
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2018-07-30
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2018-07-29
Alex ter Weele
gnu: Add emacs-agda2-mode
blob
|
commitdiff
|
raw
|
diff to current
2018-07-29
Alex ter Weele
gnu: agda: Compile .agda files.
blob
|
commitdiff
|
raw
|
diff to current
2018-03-14
Ricardo Wurmus
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2018-03-01
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2018-02-26
Alex ter Weele
gnu: Add agda.
blob
|
commitdiff
|
raw
|
diff to current