about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/stdpp
AgeCommit message (Expand)AuthorFilesLines
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
2024-04-15coqPackages.stdpp: 1.9.0 → 1.10.0Vincent Laporte1-0/+2
2023-10-13coqPackages.stdpp: 1.8 -> 1.9, coqPackages.iris: 4.0 -> 4.1Léo Stefanesco1-1/+3
2023-03-27coqPackages_8_17.stdpp: init at 1.8.0Cyril Cohen1-1/+1
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn89011-3/+3
2022-08-27coqPackages.stdpp: 1.7.0 → 1.8.0Vincent Laporte1-1/+2
2022-06-13coqPackages.stdpp: enable for Coq 8.16Vincent Laporte1-1/+1
2022-02-23coqPackages.iris: 3.5.0 → 3.6.0Vincent Laporte1-1/+3
2021-12-09coqPackages.stdpp: disable for Coq 8.15Vincent Laporte1-1/+1
2021-11-14iris: 3.4.0 -> 3.5.0; stdpp: 1.5.0 -> 1.6.0Léo Stefanesco1-0/+8
2021-10-13coq_8_14: init at 8.14+rc1Théo Zimmermann1-2/+2
2021-04-12coqPackages.stdpp: 1.4.0 → 1.5.0Vincent Laporte1-1/+5
2021-01-09coqPackages: refactorCyril Cohen1-26/+11
2020-08-16coqPackages.stdpp: 1.2.1 → 1.4.0Vincent Laporte1-3/+3
2019-09-06coqPackages.stdpp: 1.1 -> 1.2.1; coqPackages.iris: 3.1.0 -> 3.2.0Vincent Laporte1-8/+12
2019-02-08coqPackages_8_9: disable a few packages that do not buildVincent Laporte1-1/+1
2018-05-15coqPackages.stdpp: init at 1.1Vincent Laporte1-0/+28
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 10:08:29 +0000