diff options
Diffstat (limited to 'nixpkgs/pkgs/development/coq-modules/multinomials/default.nix')
| -rw-r--r-- | nixpkgs/pkgs/development/coq-modules/multinomials/default.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/nixpkgs/pkgs/development/coq-modules/multinomials/default.nix b/nixpkgs/pkgs/development/coq-modules/multinomials/default.nix index acbb602a54ef..f806d764755d 100644 --- a/nixpkgs/pkgs/development/coq-modules/multinomials/default.nix +++ b/nixpkgs/pkgs/development/coq-modules/multinomials/default.nix @@ -4,7 +4,6 @@ with lib; mkCoqDerivation { namePrefix = [ "coq" "mathcomp" ]; pname = "multinomials"; - opam-name = "coq-mathcomp-multinomials"; owner = "math-comp"; |