diff --git a/released/packages/coq-library-fol/coq-library-fol.1.0+8.20/opam b/released/packages/coq-library-fol/coq-library-fol.1.0+8.20/opam
index a7da25e51..f569766e8 100644
--- a/released/packages/coq-library-fol/coq-library-fol.1.0+8.20/opam
+++ b/released/packages/coq-library-fol/coq-library-fol.1.0+8.20/opam
@@ -1,5 +1,4 @@
 opam-version: "2.0"
-version: "1.0+8.20"
 maintainer: "kirst@cs.uni-saarland.de"
 homepage: "https://github.com/uds-psl/coq-library-fol/"
 dev-repo: "git+https://github.com/uds-psl/coq-library-fol/"