HCoop
/
jackhill
/
guix
/
guix.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
gnu: Add cl-ana.statistical-learning.
[jackhill/guix/guix.git]
/
gnu
/
packages
/
coq.scm
2019-12-12
Julien Lepiller
gnu: coq: Split coqide.
blob
|
commitdiff
|
raw
2019-11-27
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2019-11-25
Efraim Flashner
gnu: coq-bignums: Don't use unstable tarball.
blob
|
commitdiff
|
raw
|
diff to current
2019-10-20
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2019-10-20
Marius Bakke
gnu: Remove more GCC < 7 workarounds.
blob
|
commitdiff
|
raw
|
diff to current
2019-06-13
Ludovic Courtès
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2019-06-08
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2019-06-07
Tobias Geerinckx...
gnu: coq: Update to 8.9.1.
blob
|
commitdiff
|
raw
|
diff to current
2019-06-03
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2019-05-26
Dan Frumin
gnu: coq-equations: Update to 1.2.
blob
|
commitdiff
|
raw
|
diff to current
2019-05-24
Marius Bakke
Merge branch 'staging' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2019-05-24
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2019-05-24
Dan Frumin
gnu: Add coq-stdpp.
blob
|
commitdiff
|
raw
|
diff to current
2019-05-04
Julien Lepiller
gnu: coq-bignums: Update to 8.9.0.
blob
|
commitdiff
|
raw
|
diff to current
2019-05-04
Julien Lepiller
gnu: coq-mathcomp: Update to 1.8.0.
blob
|
commitdiff
|
raw
|
diff to current
2019-05-04
Julien Lepiller
gnu: coq-gappa: Update to 1.3.4.
blob
|
commitdiff
|
raw
|
diff to current
2019-05-04
Julien Lepiller
gnu: coq: Update to 8.9.0.
blob
|
commitdiff
|
raw
|
diff to current
2019-03-23
Marius Bakke
Merge branch 'staging' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2019-03-21
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2019-03-19
Dan Frumin
gnu: coq-flocq: remove unnecessary return values
blob
|
commitdiff
|
raw
|
diff to current
2019-03-04
Marius Bakke
Merge branch 'staging' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2019-03-04
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2019-03-04
Dan Frumin
gnu: coq-coquelicot: Update to 3.0.2.
blob
|
commitdiff
|
raw
|
diff to current
2019-03-01
Dan Frumin
gnu: coq-flocq: Update to 3.1.0.
blob
|
commitdiff
|
raw
|
diff to current
2019-02-20
Marius Bakke
Merge branch 'staging' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2019-02-13
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2019-02-13
Dan Frumin
gnu: Add coq-equations.
blob
|
commitdiff
|
raw
|
diff to current
2019-02-13
Tobias Geerinckx...
gnu: coq-mathcomp: Don't use unstable tarball.
blob
|
commitdiff
|
raw
|
diff to current
2019-02-13
Tobias Geerinckx...
gnu: coq: Don't use unstable tarball.
blob
|
commitdiff
|
raw
|
diff to current
2019-02-09
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2019-02-09
Ludovic Courtès
Merge branch 'staging'
blob
|
commitdiff
|
raw
|
diff to current
2019-02-07
Dan Frumin
gnu: Add coq-autosubst
blob
|
commitdiff
|
raw
|
diff to current
2019-02-06
Ricardo Wurmus
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2019-01-25
Ricardo Wurmus
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2019-01-25
Ricardo Wurmus
gnu: coq-interval: Use INVOKE.
blob
|
commitdiff
|
raw
|
diff to current
2019-01-25
Ricardo Wurmus
gnu: coq-coquelicot: Use INVOKE.
blob
|
commitdiff
|
raw
|
diff to current
2019-01-25
Ricardo Wurmus
gnu: coq-mathcomp: Use INVOKE.
blob
|
commitdiff
|
raw
|
diff to current
2019-01-25
Ricardo Wurmus
gnu: coq-gappa: Use INVOKE.
blob
|
commitdiff
|
raw
|
diff to current
2019-01-25
Ricardo Wurmus
gnu: proof-general: Use INVOKE.
blob
|
commitdiff
|
raw
|
diff to current
2019-01-09
Efraim Flashner
Merge remote-tracking branch 'origin/master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2019-01-07
Julien Lepiller
gnu: Move coq packages from ocaml to coq.
blob
|
commitdiff
|
raw
|
diff to current