guix.git/gnu/packages/coq.scm, branch master
Personal branch of https://git.savannah.gnu.org/cgit/guix.git/ for implementing 'guix deploy'.
https://www.git.jakob.space/guix.git/atom?h=master
2019-06-07T16:36:02Z
gnu: coq: Update to 8.9.1.
2019-06-07T16:36:02Z
Tobias Geerinckx-Rice
me@tobias.gr
2019-06-06T16:40:56Z
urn:sha1:b92660afa4df47c2ce5d15a342fcb0110ccdbb48
* gnu/packages/coq.scm (coq): Update to 8.9.1.
gnu: coq-equations: Update to 1.2.
2019-05-26T08:22:05Z
Dan Frumin
dfrumin@cs.ru.nl
2019-05-23T16:58:02Z
urn:sha1:414f545ee6f541d3b46839663b01f048fe812b76
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
gnu: Add coq-stdpp.
2019-05-24T16:24:16Z
Dan Frumin
dfrumin@cs.ru.nl
2019-05-22T11:33:23Z
urn:sha1:66fbffde1f8ad44318c75948575eab88a46e1328
* gnu/packages/coq.scm (coq-stdpp): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu: coq-bignums: Update to 8.9.0.
2019-05-04T17:41:44Z
Julien Lepiller
julien@lepiller.eu
2019-05-04T17:37:01Z
urn:sha1:8aeef53497ac22682f0b341f2141cfd94ab790fd
* gnu/packages/coq.scm (coq-bignums): Update to 8.9.0.
gnu: coq-mathcomp: Update to 1.8.0.
2019-05-04T17:41:35Z
Julien Lepiller
julien@lepiller.eu
2019-05-04T17:27:30Z
urn:sha1:f5b0d90490a19ff0f62c84529b6b3546e6de5a18
* gnu/packages/coq.scm (coq-mathcomp): Update to 1.8.0.
gnu: coq-gappa: Update to 1.3.4.
2019-05-04T17:41:28Z
Julien Lepiller
julien@lepiller.eu
2019-05-04T17:08:10Z
urn:sha1:1f1ea9c0cb6ac73ab28199259de8e716e04046b6
* gnu/packages/coq.scm (coq-gappa): Update to 1.3.4.
gnu: coq: Update to 8.9.0.
2019-05-04T17:41:04Z
Julien Lepiller
julien@lepiller.eu
2019-05-04T16:23:20Z
urn:sha1:e03e1b5584634a850bbad8ad58d1e63f436cedbd
* gnu/packages/coq.scm (coq): Update to 8.9.0.
(coq-autosubst): Update to latest commit.
(coq-equations): Update to 1.2-beta2.
gnu: coq-flocq: remove unnecessary return values
2019-03-19T10:30:34Z
Dan Frumin
dfrumin@cs.ru.nl
2019-03-15T12:16:24Z
urn:sha1:718d358a7297c6f101ca320818ce2206a3ad893f
* gnu/packages/coq.scm (coq-flocq)[arguments]: Add unnecessary return
values after 'invoke' calls.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu: coq-coquelicot: Update to 3.0.2.
2019-03-04T19:58:57Z
Dan Frumin
dfrumin@cs.ru.nl
2019-03-04T15:36:02Z
urn:sha1:3d03fed47fc9a9af784a026a8ac76418f609b639
* gnu/packages/coq.scm (coq-coquelicot): Update to 3.0.2.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
gnu: coq-flocq: Update to 3.1.0.
2019-03-01T20:52:59Z
Dan Frumin
dfrumin@cs.ru.nl
2019-03-01T16:15:08Z
urn:sha1:0b611996b9c41e7c33d30260bbce744a9141d999
* gnu/packages/coq.scm (coq-flocq): Update to 3.1.0.
(coq-interval): Update to 3.4.0.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>