Update opam

1DGW · web-flow · commit 5e0a5f6a67bd · 2025-02-28T18:18:16.000+08:00
diff --git a/released/packages/coq-mk-choice-axiom-and-equivalent-propositions/coq-mk-choice-axiom-and-equivalent-propositions.1.0.0/opam b/released/packages/coq-mk-choice-axiom-and-equivalent-propositions/coq-mk-choice-axiom-and-equivalent-propositions.1.0.0/opam
@@ -42,7 +42,7 @@ install: [
 ]
 
 url {
-  src: "https://github.com/zhang3651/Machine-Proof-of-the-Axiom-of-Choice-and-Its-Equivalent-Propositions/archive/refs/tags/v1.0.tar.gz"
+  src: "https://github.com/zhang3651/Machine-Proof-of-the-Axiom-of-Choice-and-Its-Equivalent-Propositions/archive/refs/tags/v1.0.0.tar.gz"
   checksum: "sha512=d1af98ae9272bbb97a4a6045fb7e442c13645ae9751ccd8b6ee98ec4b316889d4938c0a93c66c4ad54f43cd8e0d17b0143648e7cb50b9dc14dcf4ed4e427530f"
 }
 

Original file line number	Diff line number	Diff line change
`@@ -42,7 +42,7 @@ install: [`
`42`	`42`	`]`
`43`	`43`
`44`	`44`	`url {`
`45`		`- src: "https://github.com/zhang3651/Machine-Proof-of-the-Axiom-of-Choice-and-Its-Equivalent-Propositions/archive/refs/tags/v1.0.tar.gz"`
	`45`	`+ src: "https://github.com/zhang3651/Machine-Proof-of-the-Axiom-of-Choice-and-Its-Equivalent-Propositions/archive/refs/tags/v1.0.0.tar.gz"`
`46`	`46`	`checksum: "sha512=d1af98ae9272bbb97a4a6045fb7e442c13645ae9751ccd8b6ee98ec4b316889d4938c0a93c66c4ad54f43cd8e0d17b0143648e7cb50b9dc14dcf4ed4e427530f"`
`47`	`47`	`}`
`48`	`48`