summary refs log tree commit diff
path: root/pkgs/development/coq-modules/coquelicot/default.nix
Commit message (Expand)AuthorAge
* coq_8_18: init at 8.18+rc1Vincent Laporte2023-09-04
* coqPackages.coquelicot: 3.3.1 → 3.4.0Vincent Laporte2023-07-28
* coqPackages.coquelicot: 3.3.0 -> 3.3.1Pierre Roux2023-05-17
* coqPackages: various 8.16 -> 8.17Pierre Roux2023-03-09
* coqPackages.coquelicot: 3.2.0 → 3.3.0Vincent Laporte2023-01-31
* treewide: remove global with lib; statements in pkgs/coq-modulesShawn89012023-01-21
* coqPackages.coquelicot: enable for Coq 8.16Vincent Laporte2022-09-08
* coqPackages.mathcomp: disable for Coq ≥ 8.16Vincent Laporte2022-06-13
* coqPackages: etcCyril Cohen2022-05-25
* Revert "coqPackages: etc"Vincent Laporte2022-05-13
* coqPackages: etcCyril Cohen2022-05-12
* coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid2022-02-25
* coqPackages: refactorCyril Cohen2021-01-09
* coqPackages.coquelicot: 3.0.3 → 3.1.0Vincent Laporte2020-06-21
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* coqPackages.coquelicot: 3.0.2 -> 3.0.3Vincent Laporte2019-08-03
* coqPackages.coquelicot: 3.0.1 -> 3.0.2Vincent Laporte2019-02-15
* treewide: Make configureFlags listsJohn Ericson2018-08-03
* coqPackages.mathcomp: 1.6.4 -> 1.7.0Vincent Laporte2018-05-01
* coq: init at 8.8+beta1Vincent Laporte2018-03-21
* coqPackages_8_4.coquelicot: removeVincent Laporte2017-12-02
* coqPackages_8_7: New expression, but don't make it the default yetJohn Wiegley2017-10-22
* coqPackages.coquelicot: 2.1.2 -> 3.0.1Vincent Laporte2017-10-06
* coqPackages.coquelicot: 2.1.1 -> 2.1.2Vincent Laporte2017-02-11
* coqPackages.coquelicot: init at 2.1.1Vincent Laporte2016-01-06
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-04-29 10:41:37 +0000