JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
ced4ffe645
nixpkgs/pkgs/development/coq-modules/category-theory
History
John Wiegley 11f5352bbe
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>
2021-12-16 10:00:31 +01:00
..
default.nix coqPackages.category-theory: Set highest compatibility to coq 8.14 (#150559) 2021-12-16 10:00:31 +01:00