jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
5f721cfb1c
nixpkgs/pkgs/build-support/coq
History
Vincent Laporte 1f11888116 Revert "coqPackages: etc" 
This reverts commit 7e589a45ef86abf9a6a737d9730925b81ee663b4.
2022-05-13 06:47:14 +02:00
..
meta-fetch
default.nix Revert "coqPackages: etc" 2022-05-13 06:47:14 +02:00
extra-lib.nix