aboutsummaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/category-theory (follow)
Commit message (Expand)AuthorAgeFilesLines
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-101-2/+2
* treewide: remove redundant recvolth2019-08-281-1/+1
* treewide: remove redundant quotesvolth2019-08-261-1/+1
* coqPackages.equations: 1.2beta2 -> 1.2 (#65281)Vincent Laporte2019-07-231-5/+6
* Revert "coq-modules: add default to fix eval"Vincent Laporte2019-02-011-1/+1
* coq-modules: add default to fix evalMatthew Bauer2019-01-281-1/+1
* coqPackages.category-theory: bound build parallelismVincent Laporte2019-01-111-1/+1
* coqPackages.category-theory: fix buildVincent Laporte2018-10-241-15/+19
* coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann2018-10-191-1/+1
* treewide: Use http/https for homepagesJanne Heß2018-09-081-1/+1
* coqPackages.category-theory: revert "Add equations as a buildInput"Peter Simons2018-07-281-1/+1
* coqPackages.category-theory: Add equations as a buildInputJohn Wiegley2018-07-271-1/+1
* coqPackages.category-theory: Update to Git version as of 20180709John Wiegley2018-07-271-6/+6
* coqPackages: move to a separate file and filter the package setVincent Laporte2017-12-181-0/+4
* coqPackages.category-theory: New expressionJohn Wiegley2017-12-141-0/+45
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-01 12:43:42 +0000