HCoop Git - jackhill/guix/guix.git/history

HCoop / jackhill / guix / guix.git / history

[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

jackhill's copy of GNU Guix: https://guix.gnu.org/

RSS Atom