BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
nixpkgs-suyu/pkgs/applications/science/logic/coq
History
Thomas Gerbet 73599b389c coq: remove undefined attribute ocamlPropagatedNativeBuildInputs in passthru
2023-02-06 17:59:25 +01:00
..
default.nix coq: remove undefined attribute ocamlPropagatedNativeBuildInputs in passthru 2023-02-06 17:59:25 +01:00