summary refs log tree commit diff
path: root/pkgs/development/coq-modules/category-theory/default.nix
Commit message (Expand)AuthorAge
* 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.category-theory: 20211213 → 1.0.0Vincent Laporte2022-10-05
* coqPackages.category-theory: enable with Coq 8.15Vincent Laporte2022-05-07
* coqPackages.category-theory: Set highest compatibility to coq 8.14 (#150559)John Wiegley2021-12-16
* coqPackages.category-theory: v20210730, for Coq versions 8.10-8.13John Wiegley2021-07-30
* coqPackages: refactorCyril Cohen2021-01-09
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* treewide: remove redundant recvolth2019-08-28
* treewide: remove redundant quotesvolth2019-08-26
* coqPackages.equations: 1.2beta2 -> 1.2 (#65281)Vincent Laporte2019-07-23
* Revert "coq-modules: add default to fix eval"Vincent Laporte2019-02-01
* coq-modules: add default to fix evalMatthew Bauer2019-01-28
* coqPackages.category-theory: bound build parallelismVincent Laporte2019-01-11
* coqPackages.category-theory: fix buildVincent Laporte2018-10-24
* coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann2018-10-19
* treewide: Use http/https for homepagesJanne Heß2018-09-08
* coqPackages.category-theory: revert "Add equations as a buildInput"Peter Simons2018-07-28
* coqPackages.category-theory: Add equations as a buildInputJohn Wiegley2018-07-27
* coqPackages.category-theory: Update to Git version as of 20180709John Wiegley2018-07-27
* coqPackages: move to a separate file and filter the package setVincent Laporte2017-12-18
* coqPackages.category-theory: New expressionJohn Wiegley2017-12-14
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-01 01:06:14 +0000