From 20291381c1e79eda0d5efbf3470440f270a7dee6 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@inria.fr>
Date: Tue, 7 Sep 2021 14:44:40 +0200
Subject: coqPackages.mkCoqDerivation: rely on namePrefix to compute default
 opam-name

As suggested by Cyril Cohen in https://github.com/NixOS/nixpkgs/pull/134362#discussion_r698379405.
---
 pkgs/development/coq-modules/multinomials/default.nix | 1 -
 1 file changed, 1 deletion(-)

(limited to 'pkgs/development/coq-modules/multinomials')

diff --git a/pkgs/development/coq-modules/multinomials/default.nix b/pkgs/development/coq-modules/multinomials/default.nix
index acbb602a54ef..f806d764755d 100644
--- a/pkgs/development/coq-modules/multinomials/default.nix
+++ b/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";
 
-- 
cgit 1.4.1