summary refs log tree commit diff
path: root/pkgs/development/coq-modules/metalib
Commit message (Expand)AuthorAge
* coq_8_18: init at 8.18+rc1Vincent Laporte2023-09-04
* treewide: noop: refer to `src.name` or similar in `sourceRoot` where appropri...Jan Malakhovski2023-08-03
* coqPackages_8_17: enable a few packages for Coq 8.17Vincent Laporte2023-04-13
* treewide: remove global with lib; statements in pkgs/coq-modulesShawn89012023-01-21
* coqPackages.metalib: enable 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.metalib: clean & init at 8.15Vincent Laporte2022-04-27
* coqPackages.metalib: enable for Coq 8.13Vincent Laporte2021-05-10
* coqPackages: refactorCyril Cohen2021-01-09
* coqPackages.metalib: 20170713 → 20200527Vincent Laporte2020-09-22
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* coqPackages_8_9: disable a few packages that do not buildVincent Laporte2019-02-08
* coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann2018-10-19
* coqPackages: move to a separate file and filter the package setVincent Laporte2017-12-18
* coqPackages.metalib: New expressionJohn Wiegley2017-11-12
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-24 08:05:10 +0000