summary refs log tree commit diff
path: root/pkgs/development/coq-modules/bignums
Commit message (Expand)AuthorAge
* coq_8_18: init at 8.18+rc1Vincent Laporte2023-09-04
* coqPackages.bignums: 8.17.0 → 9.0.0+coq8.17Vincent Laporte2023-07-25
* treewide: remove global with lib; statements in pkgs/coq-modulesShawn89012023-01-21
* coq_8_17: init at 8.17+rc1 (#209145)Pierre Roux2023-01-06
* coq_8_16: init at 8.16+rc1Pierre Roux2022-06-08
* coqPackages: etcCyril Cohen2022-05-25
* Revert "coqPackages: etc"Vincent Laporte2022-05-13
* coqPackages: etcCyril Cohen2022-05-12
* coqPackages.bignums: enable for Coq 8.15Vincent Laporte2021-12-09
* coq_8_14: init at 8.14+rc1Théo Zimmermann2021-10-13
* coqPackages: refactorCyril Cohen2021-01-09
* coq_8_13: init at 8.13+β1Vincent Laporte2020-12-15
* coqPackages.bignums: do not depend on camlp5 for recent versions of CoqVincent Laporte2020-10-09
* coqPackages.bignums: init at 8.12.0 for Coq 8.12Vincent Laporte2020-08-01
* Coq: refactoring of mathcomp packages (#86088)Cyril Cohen2020-05-09
* coqPackages.bignums: enable for Coq 8.11Vincent Laporte2020-02-07
* treewide: installFlags is a listRobin Gloster2019-12-30
* treewide: remove redundant recvolth2019-08-28
* treewide: remove redundant quotesvolth2019-08-26
* coqPackages.bignums: enable for Coq 8.10Vincent Laporte2019-06-18
* updating packages coqPackages.bignums and coqPackages.equationsCyril Cohen2019-05-23
* coqPackages.bignums: enable for Coq version 8.9Vincent Laporte2018-11-19
* coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann2018-10-19
* coqPackages.bignums: make it available for Coq 8.8Vincent Laporte2018-03-27
* coq: init at 8.8+beta1Vincent Laporte2018-03-21
* coqPackages.bignums: Change expression to match other Coq packagesJohn Wiegley2018-03-06
* bignums: init at various versionsThéo Zimmermann2017-11-05
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-24 06:12:24 +0000