summary refs log tree commit diff
path: root/pkgs/development/coq-modules/stdpp/default.nix
Commit message (Expand)AuthorAge
* coqPackages.stdpp: 1.8 -> 1.9, coqPackages.iris: 4.0 -> 4.1Léo Stefanesco2023-10-13
* coqPackages_8_17.stdpp: init at 1.8.0Cyril Cohen2023-03-27
* treewide: remove global with lib; statements in pkgs/coq-modulesShawn89012023-01-21
* coqPackages.stdpp: 1.7.0 → 1.8.0Vincent Laporte2022-08-27
* coqPackages.stdpp: enable for Coq 8.16Vincent Laporte2022-06-13
* coqPackages.iris: 3.5.0 → 3.6.0Vincent Laporte2022-02-23
* coqPackages.stdpp: disable for Coq 8.15Vincent Laporte2021-12-09
* iris: 3.4.0 -> 3.5.0; stdpp: 1.5.0 -> 1.6.0Léo Stefanesco2021-11-14
* coq_8_14: init at 8.14+rc1Théo Zimmermann2021-10-13
* coqPackages.stdpp: 1.4.0 → 1.5.0Vincent Laporte2021-04-12
* coqPackages: refactorCyril Cohen2021-01-09
* coqPackages.stdpp: 1.2.1 → 1.4.0Vincent Laporte2020-08-16
* coqPackages.stdpp: 1.1 -> 1.2.1; coqPackages.iris: 3.1.0 -> 3.2.0Vincent Laporte2019-09-06
* coqPackages_8_9: disable a few packages that do not buildVincent Laporte2019-02-08
* coqPackages.stdpp: init at 1.1Vincent Laporte2018-05-15
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-07 03:54:19 +0000