Release v1.0 for Coq 8.18

JoJoDeveloping · JoJoDeveloping · commit 4fd64fc37c3e · 2023-11-07T20:26:13.000+01:00
diff --git a/opam b/opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev+8.18"
+version: "1.0+8.18"
 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/"
@@ -30,6 +30,6 @@ depends: [
 ]
 synopsis: "A Coq Library for First-Order Logic"
 url {
-  git: "https://github.com/uds-psl/coq-library-fol.git#coq-8.18"
+  git: "https://github.com/uds-psl/coq-library-fol.git#v1.0+8.18"
 }
 

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`opam-version: "2.0"`
`2`		`-version: "dev+8.18"`
	`2`	`+version: "1.0+8.18"`
`3`	`3`	`maintainer: "[email protected]"`
`4`	`4`	`homepage: "https://github.com/uds-psl/coq-library-fol/"`
`5`	`5`	`dev-repo: "git+https://github.com/uds-psl/coq-library-fol/"`
`@@ -30,6 +30,6 @@ depends: [`
`30`	`30`	`]`
`31`	`31`	`synopsis: "A Coq Library for First-Order Logic"`
`32`	`32`	`url {`
`33`		`- git: "https://github.com/uds-psl/coq-library-fol.git#coq-8.18"`
	`33`	`+ git: "https://github.com/uds-psl/coq-library-fol.git#v1.0+8.18"`
`34`	`34`	`}`
`35`	`35`