HCoop
/
jackhill
/
guix
/
guix.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
gnu: python-jupyter-console: Update to 6.0.0.
[jackhill/guix/guix.git]
/
gnu
/
packages
/
coq.scm
2019-06-08
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
2019-06-07
Tobias Geerinckx...
gnu: coq: Update to 8.9.1.
blob
|
commitdiff
|
raw
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 '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-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 '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-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
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-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