Update opam

btjorge · web-flow · commit 4f9ce93f1514 · 2025-01-13T17:27:21.000+01:00
diff --git a/packages/why3find/why3find.1.1.1/opam b/packages/why3find/why3find.1.1.1/opam
@@ -40,11 +40,12 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://git.frama-c.com/pub/why3find.git"
+x-maintenance-intent: ["(latest)"]
 url {
   src:
     "https://git.frama-c.com/pub/why3find/-/archive/1.1.1/why3find-1.1.1.tar.gz"
   checksum: [
     "md5=1c67ccf5aecc83f64d70404eb85140b2"
     "sha512=a805f182cae2543541591a98e48de8991276db97ee9933627cd2c1e16c83e4b549c8728b50cec3b6694b69f172b0cd04a3826e05550570266c18714fc1af162e"
   ]
-}
+}

Original file line number	Diff line number	Diff line change
`@@ -40,11 +40,12 @@ build: [`
`40`	`40`	`["dune" "install" "-p" name "--create-install-files" name]`
`41`	`41`	`]`
`42`	`42`	`dev-repo: "git+https://git.frama-c.com/pub/why3find.git"`
	`43`	`+x-maintenance-intent: ["(latest)"]`
`43`	`44`	`url {`
`44`	`45`	`src:`
`45`	`46`	`"https://git.frama-c.com/pub/why3find/-/archive/1.1.1/why3find-1.1.1.tar.gz"`
`46`	`47`	`checksum: [`
`47`	`48`	`"md5=1c67ccf5aecc83f64d70404eb85140b2"`
`48`	`49`	`"sha512=a805f182cae2543541591a98e48de8991276db97ee9933627cd2c1e16c83e4b549c8728b50cec3b6694b69f172b0cd04a3826e05550570266c18714fc1af162e"`
`49`	`50`	`]`
`50`		`-}`
	`51`	`+}`