/test/ufuzz/

form method='get'> Wojtek's customized Guix
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
AgeCommit message (Expand)Author
2019-03-04gnu: coq-coquelicot: Update to 3.0.2....* gnu/packages/coq.scm (coq-coquelicot): Update to 3.0.2. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Dan Frumin
2019-03-01gnu: coq-flocq: Update to 3.1.0....* 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> Dan Frumin
2019-02-13gnu: Add coq-equations....* gnu/packages/coq.scm (coq-equations): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Dan Frumin
2019-02-13gnu: coq-mathcomp: Don't use unstable tarball....* gnu/packages/coq.scm (coq-mathcomp)[source]: Use GIT-FETCH and GIT-FILE-NAME. Tobias Geerinckx-Rice
2019-02-13gnu: coq: Don't use unstable tarball....* gnu/packages/coq.scm (coq)[source]: Use GIT-FETCH and GIT-FILE-NAME. [arguments]: Add 'make-git-checkout-writable' phase. Tobias Geerinckx-Rice
2019-02-07gnu: Add coq-autosubst...* gnu/packages/coq.scm (coq-autosubst): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Dan Frumin