git v1.2.3'/>
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
AgeCommit message (Expand)Author
2020-07-12gnu: Remove ".git" from "https://github/…/….git"....Ludovic Courtès
2020-04-02gnu: proof-general: Update home-page....John Soo
2020-04-02gnu: proof-general: Update to 4.4....John Soo
2020-03-05gnu: coq-mathcomp: Update home page URI....Björn Höfling
2020-01-07gnu: coq-stdpp: Reword comment....Brett Gilio
2020-01-07gnu: coq-stdpp: Update to 1.2.1....Brett Gilio
2020-01-07gnu: coq-bignums: Fix comment spacing....Brett Gilio
2020-01-07gnu: coq-bignums: Update to 8.10.0....Brett Gilio
2020-01-06gnu: coq-equations: Update to 1.2.1....Brett Gilio
2020-01-06gnu: coq-interval: Update to 3.4.1....Brett Gilio
2020-01-06gnu: coq-coquelicot: Truncate home-page....Brett Gilio
2020-01-06gnu: coq-coquelicot: Update to 3.0.3....Brett Gilio
2020-01-06gnu: coq-gappa: Use HTTPS home page URI....Brett Gilio
2020-01-06gnu: coq-gappa: Update to 1.4.2....Brett Gilio
2020-01-06gnu: coq-flocq: Use HTTPS home page URI....Brett Gilio
2020-01-06gnu: coq-flocq: Update to 3.2.0....Brett Gilio
2020-01-06gnu: coq: Reword several comments....Brett Gilio
2020-01-06gnu: coq: Update to 8.10.2....Brett Gilio
2020-01-05gnu: coq-mathcomp: Update to 1.10.0....Brett Gilio
2019-12-12gnu: coq: Split coqide....Julien Lepiller
2019-11-25gnu: coq-bignums: Don't use unstable tarball....Efraim Flashner