jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
0851743b88
nixpkgs/pkgs/development/coq-modules/gaia-hydras
History
Vincent Laporte bdc09cc2e1
coqPackages.gaia-hydras: enable for Coq 8.16
2022-09-08 18:06:41 +02:00
..
default.nix