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
/
coq.scm
2020-11-23
Ludovic Courtès
Merge branch 'version-1.2.0'
blob
|
commitdiff
|
raw
2020-11-22
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
2020-11-20
Maxim Cournoyer
Merge branch 'version-1.2.0' into master.
blob
|
commitdiff
|
raw
2020-11-19
Efraim Flashner
gnu: Don't append '.git' to GitHub uris.
blob
|
commitdiff
|
raw
2020-10-05
Guillaume Le Vaillant
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2020-09-23
Guillaume Le Vaillant
Merge branch 'wip-lisp' into staging
blob
|
commitdiff
|
raw
|
diff to current
2020-09-23
Guillaume Le Vaillant
Merge branch 'staging' into wip-lisp
blob
|
commitdiff
|
raw
|
diff to current
2020-09-13
Robin Green
gnu: Update coq and its dependents
blob
|
commitdiff
|
raw
|
diff to current
2020-09-08
Robin Green
gnu: coq-stdpp: Update to 1.4.0.
blob
|
commitdiff
|
raw
|
diff to current
2020-09-07
raingloom
gnu: coq: fix coqide not finding coqidetop.opt
blob
|
commitdiff
|
raw
|
diff to current
2020-09-07
Robin Green
gnu: coq-equations: Update 1.2.1-8.10-2.
blob
|
commitdiff
|
raw
|
diff to current
2020-07-24
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2020-07-12
Ludovic Courtès
gnu: Remove ".git" from "https://github/…/….git".
blob
|
commitdiff
|
raw
|
diff to current
2020-04-29
Jakub Kądziołka
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2020-04-08
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2020-04-02
John Soo
gnu: proof-general: Update home-page.
blob
|
commitdiff
|
raw
|
diff to current
2020-04-02
John Soo
gnu: proof-general: Update to 4.4.
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-05
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2020-03-05
Björn Höfling
gnu: coq-mathcomp: Update home page URI.
blob
|
commitdiff
|
raw
|
diff to current
2020-01-11
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2020-01-07
Brett Gilio
gnu: coq-stdpp: Reword comment.
blob
|
commitdiff
|
raw
|
diff to current
2020-01-07
Brett Gilio
gnu: coq-stdpp: Update to 1.2.1.
blob
|
commitdiff
|
raw
|
diff to current
2020-01-07
Brett Gilio
gnu: coq-bignums: Fix comment spacing.
blob
|
commitdiff
|
raw
|
diff to current
2020-01-07
Brett Gilio
gnu: coq-bignums: Update to 8.10.0.
blob
|
commitdiff
|
raw
|
diff to current
2020-01-07
Marius Bakke
Merge branch 'staging'
blob
|
commitdiff
|
raw
|
diff to current
2020-01-07
Brett Gilio
gnu: coq-equations: Update to 1.2.1.
blob
|
commitdiff
|
raw
|
diff to current
2020-01-07
Brett Gilio
gnu: coq-interval: Update to 3.4.1.
blob
|
commitdiff
|
raw
|
diff to current
2020-01-07
Brett Gilio
gnu: coq-coquelicot: Truncate home-page.
blob
|
commitdiff
|
raw
|
diff to current
2020-01-07
Brett Gilio
gnu: coq-coquelicot: Update to 3.0.3.
blob
|
commitdiff
|
raw
|
diff to current
2020-01-07
Brett Gilio
gnu: coq-gappa: Use HTTPS home page URI.
blob
|
commitdiff
|
raw
|
diff to current
2020-01-07
Brett Gilio
gnu: coq-gappa: Update to 1.4.2.
blob
|
commitdiff
|
raw
|
diff to current
2020-01-07
Brett Gilio
gnu: coq-flocq: Use HTTPS home page URI.
blob
|
commitdiff
|
raw
|
diff to current
2020-01-07
Brett Gilio
gnu: coq-flocq: Update to 3.2.0.
blob
|
commitdiff
|
raw
|
diff to current
2020-01-07
Brett Gilio
gnu: coq: Reword several comments.
blob
|
commitdiff
|
raw
|
diff to current
2020-01-07
Brett Gilio
gnu: coq: Update to 8.10.2.
blob
|
commitdiff
|
raw
|
diff to current
2020-01-05
Brett Gilio
gnu: coq-mathcomp: Update to 1.10.0.
blob
|
commitdiff
|
raw
|
diff to current
2019-12-31
Mathieu Othacehe
Merge remote-tracking branch 'master' into core-updates.
blob
|
commitdiff
|
raw
|
diff to current
2019-12-13
Brett Gilio
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2019-12-12
Julien Lepiller
gnu: coq: Split coqide.
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-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-11-16
Mathieu Othacehe
Merge remote-tracking branch master into core-updates
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