From 15c32114346c1658c502c620c9ca875ef96fb5bb Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Thu, 6 Feb 2025 20:01:10 +0100 Subject: [PATCH] Update released/packages/coq-library-fol/coq-library-fol.1.0+8.20/opam --- released/packages/coq-library-fol/coq-library-fol.1.0+8.20/opam | 1 - 1 file changed, 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 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/"