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