HCoop
/
jackhill
/
guix
/
guix.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
gnu: Add iml.
[jackhill/guix/guix.git]
/
gnu
/
packages
/
agda.scm
2019-02-24
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
2019-02-24
Tobias Geerinckx...
gnu: agda: Update to 2.5.4.2.
blob
|
commitdiff
|
raw
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
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