Flakes
Categories
Options
Packages
Sign in
MyNixOS
nixpkgs
packages
tests
coq
overrideCoqDerivation
package
coq-overrideCoqDerivation-test
Description
No description available.
Metadata
Install
Version
0.1
License
Unknown
Status
Broken
No
Insecure
No
Unfree
No
Unsupported
No
Source
pkgs/build-support/trivial-builders/default.nix:80
Maintainers
1
(1)
Dennis Gosnell
