Update released/packages/coq-compcert/coq-compcert.3.13.1/opam

coq · Oct 16, 2023 · dbf6e74 · dbf6e74
1 parent d5c3490
commit dbf6e74
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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 <[email protected]>"