about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/coquelicot
AgeCommit message (Expand)AuthorFilesLines
2024-01-26coqPackages.coquelicot: 3.4.0 -> 3.4.1Pierre Roux1-0/+2
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte1-1/+1
2023-07-28coqPackages.coquelicot: 3.3.1 → 3.4.0Vincent Laporte1-1/+2
2023-05-17coqPackages.coquelicot: 3.3.0 -> 3.3.1Pierre Roux1-0/+2
2023-03-09coqPackages: various 8.16 -> 8.17Pierre Roux1-1/+1
2023-01-31coqPackages.coquelicot: 3.2.0 → 3.3.0Vincent Laporte1-0/+2
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn89011-3/+3
2022-09-08coqPackages.coquelicot: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.mathcomp: disable for Coq ≥ 8.16Vincent Laporte1-1/+1
2022-05-25coqPackages: etcCyril Cohen1-2/+2
2022-05-13Revert "coqPackages: etc"Vincent Laporte1-2/+2
2022-05-12coqPackages: etcCyril Cohen1-2/+2
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid1-1/+1
2021-01-09coqPackages: refactorCyril Cohen1-34/+20
2020-06-21coqPackages.coquelicot: 3.0.3 → 3.1.0Vincent Laporte1-4/+4
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-08-03coqPackages.coquelicot: 3.0.2 -> 3.0.3Vincent Laporte1-4/+17
2019-02-15coqPackages.coquelicot: 3.0.1 -> 3.0.2Vincent Laporte1-4/+4
2018-08-03treewide: Make configureFlags listsJohn Ericson1-1/+1
2018-05-01coqPackages.mathcomp: 1.6.4 -> 1.7.0Vincent Laporte1-1/+3
2018-03-21coq: init at 8.8+beta1Vincent Laporte1-0/+3
2017-12-02coqPackages_8_4.coquelicot: removeVincent Laporte1-19/+3
2017-10-22coqPackages_8_7: New expression, but don't make it the default yetJohn Wiegley1-0/+1
2017-10-06coqPackages.coquelicot: 2.1.2 -> 3.0.1Vincent Laporte1-6/+6
2017-02-11coqPackages.coquelicot: 2.1.1 -> 2.1.2Vincent Laporte1-3/+18
2016-01-06coqPackages.coquelicot: init at 2.1.1Vincent Laporte1-0/+25
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-06 16:41:04 +0000