Update opam

hferee · web-flow · commit 41402f12ab37 · 2025-02-25T13:33:38.000+01:00
Fix url src with correct release
diff --git a/released/packages/coq-pil/coq-pil.1.0.1/opam b/released/packages/coq-pil/coq-pil.1.0.1/opam
@@ -27,7 +27,7 @@ install: [
 ]
 
 url {
-  src: "https://github.com/hferee/rocq-pil/archive/1.0.0.tar.gz"
+  src: "https://github.com/hferee/rocq-pil/archive/1.0.1.tar.gz"
   checksum: "sha256=45f516160f30506e2605fba55ff94c1d5dd53e43815b29b8d04b53119d0b43b2"
 }
 

Original file line number	Diff line number	Diff line change
`@@ -27,7 +27,7 @@ install: [`
`27`	`27`	`]`
`28`	`28`
`29`	`29`	`url {`
`30`		`- src: "https://github.com/hferee/rocq-pil/archive/1.0.0.tar.gz"`
	`30`	`+ src: "https://github.com/hferee/rocq-pil/archive/1.0.1.tar.gz"`
`31`	`31`	`checksum: "sha256=45f516160f30506e2605fba55ff94c1d5dd53e43815b29b8d04b53119d0b43b2"`
`32`	`32`	`}`
`33`	`33`