summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/coq-bits
AgeCommit message (Expand)Author
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2025-04-01treewide: Format all Nix filesSilvan Mosberger
2025-02-14coqPackages.mathcomp: remove Stdlib dependencyPierre Roux
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt
2023-12-05coqPackages_8_16: fix evaluation with math-comp ≥ 2.0Vincent Laporte
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-09-08coqPackages.coq-bits: enable for Coq 8.16Vincent Laporte
2022-06-13coqPackages.mathcomp: disable for Coq ≥ 8.16Vincent Laporte
2022-05-25coqPackages: etcCyril Cohen
2022-05-13Revert "coqPackages: etc"Vincent Laporte
2022-05-12coqPackages: etcCyril Cohen
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid
2021-11-16coq-bits: 1.0.0 -> 1.1.0Valentin Robert
2021-01-09coqPackages: refactorCyril Cohen
2020-07-09coqPackages.coq-bits: enable for Coq 8.11 and 8.12Vincent Laporte
2020-05-09Coq: refactoring of mathcomp packages (#86088)Cyril Cohen
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2019-10-24coqPackages.coq-bits: init at 20190812Valentin Robert
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 23:54:56 +0000