From c1a33c4f7887032ced4a71c4ca16f574295b5c2e Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 6 Oct 2020 16:52:21 +0200
Subject: [PATCH] remove now-redundant package name from opam file

---
 Makefile       | 3 +--
 coq-stdpp.opam | 1 -
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 8d16271e..69d14288 100644
--- a/Makefile
+++ b/Makefile
@@ -30,8 +30,7 @@ BUILDDEPFILES=$(addsuffix -builddep.opam, $(addprefix builddep/,$(basename $(OPA
 builddep/%-builddep.opam: %.opam Makefile
 	@echo "# Creating builddep package for $<."
 	@mkdir -p builddep
-	@sed <$< -E 's/^(build|install|remove):.*/\1: []/; s/^name: *"(.*)" */name: "\1-builddep"/; s/"(.*)"(.*= *version.*)$$/"\1-builddep"\2/;' >$@
-	@fgrep builddep $@ >/dev/null || (echo "sed failed to fix the package name" && exit 1) # sanity check
+	@sed <$< -E 's/^(build|install|remove):.*/\1: []/; s/"(.*)"(.*= *version.*)$$/"\1-builddep"\2/;' >$@
 
 builddep-opamfiles: $(BUILDDEPFILES)
 .PHONY: builddep-opamfiles
diff --git a/coq-stdpp.opam b/coq-stdpp.opam
index 406f55d8..aa072f1a 100644
--- a/coq-stdpp.opam
+++ b/coq-stdpp.opam
@@ -1,5 +1,4 @@
 opam-version: "2.0"
-name: "coq-stdpp"
 maintainer: "Ralf Jung <jung@mpi-sws.org>"
 authors: "The std++ team"
 license: "BSD-3-Clause"
-- 
GitLab