summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/multinomials
AgeCommit message (Expand)Author
2025-11-12coqPackages.mathcomp: 2.4.0 -> 2.5.0Pierre Roux
2025-07-09coqPackages.*: 9.0 -> 9.1Pierre Roux
2025-06-30coqPackages.*: fix formatting fixPierre Roux
2025-06-30coqPackages.*: better formatting fixPierre Roux
2025-06-21coqPackages.*: fix formattingPierre Roux
2025-05-10coqPackages.multinomials: 2.3.0 -> 2.4.0Pierre Roux
2025-05-10coqPackages.mathcomp: 2.3.0 -> 2.4.0Pierre Roux
2025-05-05Refine dependencies from mathcomp-ssreflect to mathcomp-bootPierre Roux
2025-02-12coqPackages.multinomials: compiles on rocq 9.0Pierre Roux
2025-01-08coqPackages.mathcomp: 2.2.0 -> 2.3.0Pierre Roux
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-07-16coqPackages.multinomials switched back to coq_makefilePierre Roux
2024-07-01coq-elpi: 2.0.1 -> 2.2.0 (#323590)Pierre Roux
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt
2024-01-26coqPackages_8_19.multinomialsPierre Roux
2024-01-19Add Coqeal 2.0.1 and algebra-tactics 1.2.3Pierre Roux
2024-01-17coqPackages.mathcomp: 2.1.0 -> 2.2.0Pierre Roux
2023-11-15coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)Pierre Roux
2023-10-31Add various mathcomp 2.1 versionsPierre Roux
2023-09-04Add a few packages for Coq 8.18 and MathComp 2.0Pierre Roux
2023-05-17coqPackages.multinomials: 1.5.6 -> 1.6.0Pierre Roux
2023-03-09coqPackages: various 8.16 -> 8.17Pierre Roux
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-10-02coqPackages.mkCoqDerivation: upgrade to Dune 3Théo Zimmermann
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid
2022-02-02Adapt to Coq 8.15 and MathCOmp 1.14Pierre Roux
2021-10-29coqPackages.mathcomp: 1.12.0 -> 1.13.0Cyril Cohen
2021-10-13coq_8_14: init at 8.14+rc1Théo Zimmermann
2021-10-04coqPackages.multinomials: fixCyril Cohen
2021-09-20coqPackages.mkCoqDerivation: rely on namePrefix to compute default opam-nameThéo Zimmermann
2021-08-17coqPackages.mkCoqDerivation: fix useDune2Théo Zimmermann
2021-03-10coqPackages.multinomials: 1.5.2 -> 1.5.4 (#115427)Cyril Cohen
2021-01-09coqPackages: refactorCyril Cohen
2019-05-15coqPackages: refactor mathcomp packagesCyril Cohen
2017-12-18coqPackages.multinomials: init at 1.0Vincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-23 00:19:01 +0000