coqPackages.category-theory: Set highest compatibility to coq 8.14 (#150559)
* coqPackages.category-theory: Set highest compatibility to coq 8.14 * coqPackages.category-theory: 20210730 → 20211213 Co-authored-by: Vincent Laporte <Vincent.Laporte@gmail.com>main
parent
2fd4cb8ec6
commit
11f5352bbe
Loading…
Reference in new issue