gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
1f6ff640b44ad1e5f3045ccdfb07d2919d8dbffc
nixpkgs/pkgs/development/coq-modules/graph-theory
History
Vincent Laporte 9ad12d1d8c coqPackages.graph-theory: enable for Coq 8.16
2022-09-08 18:06:35 +02:00
..
default.nix
…