Fix url to existing url.

clebreto · clebreto · commit a40a21a20c72 · 2024-11-18T22:45:39.000+01:00
diff --git a/packages/mlgmpidl/mlgmpidl.1.2.15-1/opam b/packages/mlgmpidl/mlgmpidl.1.2.15-1/opam
@@ -35,7 +35,7 @@ conflicts: [
 ]
 synopsis: "OCaml interface to the GMP library"
 url {
-  src: "https://github.com/nberth/mlgmpidl/archive/1.2.15-1.tar.gz"
+  src: "https://github.com/nberth/mlgmpidl/archive/1.2.15.tar.gz"
   checksum: "md5=fba69df33295a427e093cad67114a5d6"
 }
 x-ci-accept-failures: [

Original file line number	Diff line number	Diff line change
`@@ -35,7 +35,7 @@ conflicts: [`
`35`	`35`	`]`
`36`	`36`	`synopsis: "OCaml interface to the GMP library"`
`37`	`37`	`url {`
`38`		`- src: "https://github.com/nberth/mlgmpidl/archive/1.2.15-1.tar.gz"`
	`38`	`+ src: "https://github.com/nberth/mlgmpidl/archive/1.2.15.tar.gz"`
`39`	`39`	`checksum: "md5=fba69df33295a427e093cad67114a5d6"`
`40`	`40`	`}`
`41`	`41`	`x-ci-accept-failures: [`