swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-11-06 02:06:46 +01:00
Code Issues Packages Projects Releases Wiki Activity
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