summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/bignums
AgeCommit message (Expand)Author
2025-07-17coqPackages: fix Rocq shim for Coq >= 9Pierre Roux
2025-07-09coqPackages.*: 9.0 -> 9.1Pierre Roux
2025-07-08rocq-core_9_1: init at 9.1+rc1Pierre Roux
2025-06-30coqPackages.*: better formatting fixPierre Roux
2025-06-21coqPackages.*: fix formattingPierre Roux
2025-04-01treewide: Format all Nix filesSilvan Mosberger
2025-02-07Add rocqPackages.bignumsPierre Roux
2025-01-26coq_9_0: init at 9.0+rc1Pierre Roux
2024-12-13Add coqPackages.stdlibPierre Roux
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-06-28coq_8_20: init at 8.20+rc1 (#323105)Pierre Roux
2023-12-19coqPackages.bignums: 8.18 -> 8.19Pierre Roux
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte
2023-07-25coqPackages.bignums: 8.17.0 → 9.0.0+coq8.17Vincent Laporte
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2023-01-06coq_8_17: init at 8.17+rc1 (#209145)Pierre Roux
2022-06-08coq_8_16: init at 8.16+rc1Pierre Roux
2022-05-25coqPackages: etcCyril Cohen
2022-05-13Revert "coqPackages: etc"Vincent Laporte
2022-05-12coqPackages: etcCyril Cohen
2021-12-09coqPackages.bignums: enable for Coq 8.15Vincent Laporte
2021-10-13coq_8_14: init at 8.14+rc1Théo Zimmermann
2021-01-09coqPackages: refactorCyril Cohen
2020-12-15coq_8_13: init at 8.13+β1Vincent Laporte
2020-10-09coqPackages.bignums: do not depend on camlp5 for recent versions of CoqVincent Laporte
2020-08-01coqPackages.bignums: init at 8.12.0 for Coq 8.12Vincent Laporte
2020-05-09Coq: refactoring of mathcomp packages (#86088)Cyril Cohen
2020-02-07coqPackages.bignums: enable for Coq 8.11Vincent Laporte
2019-12-30treewide: installFlags is a listRobin Gloster
2019-08-28treewide: remove redundant recvolth
2019-08-26treewide: remove redundant quotesvolth
2019-06-18coqPackages.bignums: enable for Coq 8.10Vincent Laporte
2019-05-23updating packages coqPackages.bignums and coqPackages.equationsCyril Cohen
2018-11-19coqPackages.bignums: enable for Coq version 8.9Vincent Laporte
2018-10-19coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann
2018-03-27coqPackages.bignums: make it available for Coq 8.8Vincent Laporte
2018-03-21coq: init at 8.8+beta1Vincent Laporte
2018-03-06coqPackages.bignums: Change expression to match other Coq packagesJohn Wiegley
2017-11-05bignums: init at various versionsThéo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 22:41:05 +0000