update tar.gz

fblanqui · fblanqui · commit 6affad4ffca1 · 2023-01-03T15:17:09.000+01:00
diff --git a/packages/lambdapi/lambdapi.2.3.0/opam b/packages/lambdapi/lambdapi.2.3.0/opam
@@ -61,7 +61,6 @@ depends: [
   "cmdliner" {>= "1.1.0"}
   "stdlib-shims" {>= "0.1.0"}
   "odoc" {with-doc}
-  "conf-emacs" {>= "1"}
 ]
 build: [
   ["dune" "subst"] {dev}
@@ -72,10 +71,12 @@ 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=93077b0b8aed4a0e4dfd100c2c55f961908cbd8a3b630a4d1f9ccfe109bdf202"
-    "sha512=a98d01a5b6a6d66bdd8f1599e3d06d2c2e8bbc414128f49077367af6e942f344023a0ade1ad43a788cc5d663a53e51aad0719a96ad6cb2df0dd86c62212dd69f"
+    "sha256=3c2328a8f35d06707d550140756d6104a92f0e4e67b40c87774ff3a206293dd1"
+    "sha512=1f74ee2dcba99e40a2ea6c1914c9ec133a0ffcdbdf001a2d6405a0b22ceb8b239226
+2ab4a1dd82fd0b77fe110c4d77b29fa87df06cb0424b16a9a45bd61475ea"
   ]
 }
-x-commit-hash: "0b3fda35a09207b2c619573098cbafe5f0b722ae"
+x-commit-hash: "3160358b24ad2e70641f7d4e0e43672cdd8a1bb1"

Original file line number	Diff line number	Diff line change
`@@ -61,7 +61,6 @@ depends: [`
`61`	`61`	`"cmdliner" {>= "1.1.0"}`
`62`	`62`	`"stdlib-shims" {>= "0.1.0"}`
`63`	`63`	`"odoc" {with-doc}`
`64`		`- "conf-emacs" {>= "1"}`
`65`	`64`	`]`
`66`	`65`	`build: [`
`67`	`66`	`["dune" "subst"] {dev}`
`@@ -72,10 +71,12 @@ install: [`
`72`	`71`	`]`
`73`	`72`	`url {`
`74`	`73`	`src:`
`75`		`- "https://github.com/Deducteam/lambdapi/releases/download/2.3.0/lambdapi-2.3.0.tbz"`
	`74`	`+ "https://github.com/Deducteam/lambdapi/releases/download/2.3.0/lambdapi-2.3.`
	`75`	`+0.tbz"`
`76`	`76`	`checksum: [`
`77`		`- "sha256=93077b0b8aed4a0e4dfd100c2c55f961908cbd8a3b630a4d1f9ccfe109bdf202"`
`78`		`- "sha512=a98d01a5b6a6d66bdd8f1599e3d06d2c2e8bbc414128f49077367af6e942f344023a0ade1ad43a788cc5d663a53e51aad0719a96ad6cb2df0dd86c62212dd69f"`
	`77`	`+ "sha256=3c2328a8f35d06707d550140756d6104a92f0e4e67b40c87774ff3a206293dd1"`
	`78`	`+ "sha512=1f74ee2dcba99e40a2ea6c1914c9ec133a0ffcdbdf001a2d6405a0b22ceb8b239226`
	`79`	`+2ab4a1dd82fd0b77fe110c4d77b29fa87df06cb0424b16a9a45bd61475ea"`
`79`	`80`	`]`
`80`	`81`	`}`
`81`		`-x-commit-hash: "0b3fda35a09207b2c619573098cbafe5f0b722ae"`
	`82`	`+x-commit-hash: "3160358b24ad2e70641f7d4e0e43672cdd8a1bb1"`