diff --git a/released/packages/coq-compcert/coq-compcert.3.13.1/opam b/released/packages/coq-compcert/coq-compcert.3.13.1/opam
index eff8b8781e..ae54f50ace 100644
--- a/released/packages/coq-compcert/coq-compcert.3.13.1/opam
+++ b/released/packages/coq-compcert/coq-compcert.3.13.1/opam
@@ -1,5 +1,4 @@
 opam-version: "2.0"
-name: "coq-compcert"
 synopsis: "The CompCert C compiler (64 bit)"
 maintainer: "Michael Soegtrop"
 authors: "Xavier Leroy <xavier.leroy@inria.fr>"