about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/coq-bits
AgeCommit message (Expand)AuthorFilesLines
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
2023-12-05coqPackages_8_16: fix evaluation with math-comp ≥ 2.0Vincent Laporte1-5/+5
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn89011-3/+3
2022-09-08coqPackages.coq-bits: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.mathcomp: disable for Coq ≥ 8.16Vincent Laporte1-2/+2
2022-05-25coqPackages: etcCyril Cohen1-24/+8
2022-05-13Revert "coqPackages: etc"Vincent Laporte1-8/+24
2022-05-12coqPackages: etcCyril Cohen1-24/+8
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid1-0/+1
2021-11-16coq-bits: 1.0.0 -> 1.1.0Valentin Robert1-3/+16
2021-01-09coqPackages: refactorCyril Cohen1-24/+10
2020-07-09coqPackages.coq-bits: enable for Coq 8.11 and 8.12Vincent Laporte1-2/+2
2020-05-09Coq: refactoring of mathcomp packages (#86088)Cyril Cohen1-3/+3
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-10-24coqPackages.coq-bits: init at 20190812Valentin Robert1-0/+38
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-02 18:08:04 +0000