aboutsummaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/bignums (follow)
Commit message (Expand)AuthorAgeFilesLines
* coqPackages.bignums: do not depend on camlp5 for recent versions of CoqVincent Laporte2020-10-091-1/+3
* coqPackages.bignums: init at 8.12.0 for Coq 8.12Vincent Laporte2020-08-011-0/+4
* Coq: refactoring of mathcomp packages (#86088)Cyril Cohen2020-05-091-2/+2
* coqPackages.bignums: enable for Coq 8.11Vincent Laporte2020-02-071-0/+4
* treewide: installFlags is a listRobin Gloster2019-12-301-1/+1
* treewide: remove redundant recvolth2019-08-281-1/+1
* treewide: remove redundant quotesvolth2019-08-261-1/+1
* coqPackages.bignums: enable for Coq 8.10Vincent Laporte2019-06-181-0/+4
* updating packages coqPackages.bignums and coqPackages.equationsCyril Cohen2019-05-231-19/+19
* coqPackages.bignums: enable for Coq version 8.9Vincent Laporte2018-11-191-4/+7
* coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann2018-10-191-1/+1
* coqPackages.bignums: make it available for Coq 8.8Vincent Laporte2018-03-271-3/+4
* coq: init at 8.8+beta1Vincent Laporte2018-03-211-0/+4
* coqPackages.bignums: Change expression to match other Coq packagesJohn Wiegley2018-03-061-16/+16
* bignums: init at various versionsThéo Zimmermann2017-11-051-0/+38
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-29 15:28:37 +0000