fix

fblanqui · fblanqui · commit 55512feb8686 · 2023-01-03T16:58:03.000+01:00
diff --git a/packages/lambdapi/lambdapi.2.3.0/opam b/packages/lambdapi/lambdapi.2.3.0/opam
@@ -71,12 +71,10 @@ install: [
 ]
 url {
   src:
-    "https://github.com/Deducteam/lambdapi/releases/download/2.3.0/lambdapi-2.3.
-0.tbz"
+    "https://github.com/Deducteam/lambdapi/releases/download/2.3.0/lambdapi-2.3.0.tbz"
   checksum: [
-    "sha256=3c2328a8f35d06707d550140756d6104a92f0e4e67b40c87774ff3a206293dd1"
-    "sha512=1f74ee2dcba99e40a2ea6c1914c9ec133a0ffcdbdf001a2d6405a0b22ceb8b239226
-2ab4a1dd82fd0b77fe110c4d77b29fa87df06cb0424b16a9a45bd61475ea"
+    "sha256=9b13c3121ef87cf4d3311a8a1db43db4be7f0e5e2a702fdaff04a3b3c432cb31"
+    "sha512=81e0760ca77cb862a5bdb8927aa37faf7141c4e2484a8163dad0a3eaa21cc691acb5f72279c78588c085f53dde4bd35186346378feac0ab55ac06a679cf2e60f"
   ]
 }
-x-commit-hash: "3160358b24ad2e70641f7d4e0e43672cdd8a1bb1"
+x-commit-hash: "4939b93c2721c8aa4dc88a7b8190dd43e3badfdc"

Original file line number	Diff line number	Diff line change
`@@ -71,12 +71,10 @@ install: [`
`71`	`71`	`]`
`72`	`72`	`url {`
`73`	`73`	`src:`
`74`		`- "https://github.com/Deducteam/lambdapi/releases/download/2.3.0/lambdapi-2.3.`
`75`		`-0.tbz"`
	`74`	`+ "https://github.com/Deducteam/lambdapi/releases/download/2.3.0/lambdapi-2.3.0.tbz"`
`76`	`75`	`checksum: [`
`77`		`- "sha256=3c2328a8f35d06707d550140756d6104a92f0e4e67b40c87774ff3a206293dd1"`
`78`		`- "sha512=1f74ee2dcba99e40a2ea6c1914c9ec133a0ffcdbdf001a2d6405a0b22ceb8b239226`
`79`		`-2ab4a1dd82fd0b77fe110c4d77b29fa87df06cb0424b16a9a45bd61475ea"`
	`76`	`+ "sha256=9b13c3121ef87cf4d3311a8a1db43db4be7f0e5e2a702fdaff04a3b3c432cb31"`
	`77`	`+ "sha512=81e0760ca77cb862a5bdb8927aa37faf7141c4e2484a8163dad0a3eaa21cc691acb5f72279c78588c085f53dde4bd35186346378feac0ab55ac06a679cf2e60f"`
`80`	`78`	`]`
`81`	`79`	`}`
`82`		`-x-commit-hash: "3160358b24ad2e70641f7d4e0e43672cdd8a1bb1"`
	`80`	`+x-commit-hash: "4939b93c2721c8aa4dc88a7b8190dd43e3badfdc"`