summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/mathcomp-word
AgeCommit message (Expand)Author
2026-03-11coqPackages.mathcomp-word: 3.3 → 3.4Vincent Laporte
2026-03-06coqPackages.mathcomp-word: 3.2 → 3.3Vincent Laporte
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
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-02-24coqPackages.mathcomp*: update stdlib dependenciesPierre Roux
2025-01-26coq_9_0: init at 9.0+rc1Pierre Roux
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-07-23coqPackages: Enable override with dev branches (#329356)Pierre Roux
2024-07-01coq-elpi: 2.0.1 -> 2.2.0 (#323590)Pierre Roux
2024-06-28coq_8_20: init at 8.20+rc1 (#323105)Pierre Roux
2024-05-31coqPackages.mathcomp-word: 3.1 → 3.2; 2.3 → 2.4Vincent Laporte
2024-03-22coqPackages.mathcomp-word: 2.2 → 2.3Vincent Laporte
2024-01-17coqPackages.mathcomp: 2.1.0 -> 2.2.0Pierre Roux
2024-01-16coqPackages.mathcomp: 1.18.0 -> 1.19.0Pierre Roux
2023-11-29coqPackages.mathcomp-word: 2.1 → {2.2, 3.0}Vincent Laporte
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte
2023-06-06coqPackages.mathcomp-word: 2.0 → 2.1Vincent Laporte
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-10-05coqPackages.mathcomp-word: 1.1 → 2.0Vincent Laporte
2022-10-02coqPackages.mkCoqDerivation: upgrade to Dune 3Théo Zimmermann
2022-09-08coqPackages.mathcomp-word: enable for Coq 8.16Vincent Laporte
2022-04-26coqPackages.mathcomp-word: 1.0 → 1.1Vincent Laporte
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid
2022-02-02coqPackages.mathcomp: 1.13.0 -> 1.14.0Cyril Cohen
2021-12-24coqPackages.mathcomp-word: init at 1.0Vincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-24 01:35:40 +0000