Update released/packages/coq-library-fol/coq-library-fol.1.0+8.20/opam

coq · Feb 6, 2025 · 15c3211 · 15c3211
1 parent e51fb67
commit 15c3211
Showing 1 changed file with 0 additions and 1 deletion.
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
@@ -1,5 +1,4 @@
 opam-version: "2.0"
-version: "1.0+8.20"
 maintainer: "[email protected]"
 homepage: "https://github.com/uds-psl/coq-library-fol/"
 dev-repo: "git+https://github.com/uds-psl/coq-library-fol/"