nixpkgs/pkgs/development/coq-modules/category-theory
Vincent Laporte f9486ce114 coqPackages.equations: 1.2beta2 -> 1.2 (#65281)
* coqPackages.equations: 1.2beta2 -> 1.2

* coqPackages.category-theory: 20181016 -> 20190414
2019-07-23 22:27:55 +02:00
..
default.nix coqPackages.equations: 1.2beta2 -> 1.2 (#65281) 2019-07-23 22:27:55 +02:00