Added new version 1.4.2 for gappa and changed URL for older gappa ver…

…sion to a more stable source (the hash changed recently for 1.3.5)
ocaml · May 17, 2024 · 7dfe164 · 7dfe164
1 parent 23fec2c
commit 7dfe164
Show file tree

Hide file tree

Showing 5 changed files with 1,035 additions and 21 deletions.
diff --git a/packages/gappa/gappa.1.3.5/opam b/packages/gappa/gappa.1.3.5/opam
@@ -40,13 +40,6 @@ depends: [
 ]
 synopsis: "Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic"
 url {
-  src: "https://gitlab.inria.fr/gappa/gappa/-/archive/gappa-1.3.5.tar.gz"
-  checksum: "sha512=29ce59af97e6d60547a193b43538f4812ff74fb01a812cda7109855219457fa7a47f59ea39aff2a5e03fd70181e024a3296b4f48300818a81f62fd2d8629c389"
+  src: "https://gappa.gitlabpages.inria.fr/releases/gappa-1.3.5.tar.gz"
+  checksum: "sha512=60b5719e3a321df43e33045fa8f4511fc02a4218d1ae7e476e7c6ebcf90ae208832881f6eea5b99a3296dfcc3a18c7e1f4ea9dbea446fc502e14306b6975f6e6"
 }
-extra-files: [
-  [
-    "0001-Added-configure-for-c-11.patch"
-    "md5=b6a6dbe9a12feae79eab038864208a3c"
-  ]
-  ["remake.patch" "md5=d66b718118ae5bf61c661905f6f0db96"]
-]
diff --git a/packages/gappa/gappa.1.4.0/opam b/packages/gappa/gappa.1.4.0/opam
@@ -40,10 +40,6 @@ depends: [
 ]
 synopsis: "Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic"
 url {
-  src: "https://gitlab.inria.fr/gappa/gappa/-/archive/gappa-1.4.0.tar.gz"
-  checksum: "sha512=d5ed841fc8def27ae3973c97d9a242e2fe4997888d3a8c2d46029aab2c5311ec5d0df3a0780fc88eead20d6aa4b34122c9bb8d290f3a2b4886488f34602d43c7"
+  src: "https://gappa.gitlabpages.inria.fr/releases/gappa-1.4.0.tar.gz"
+  checksum: "sha512=fe8ee10b74a257b3df8d7c3fdb9095a10a7d5ee5af41b031d5bb9b981db00832a025bc1d6fce92f97f294fc9f3ab846531a864548e57e9fe191c79b828eb6475"
 }
-extra-files: [
-  "0001-Added-configure-for-c-11.patch"
-  "md5=b6a6dbe9a12feae79eab038864208a3c"
-]
diff --git a/packages/gappa/gappa.1.4.1/opam b/packages/gappa/gappa.1.4.1/opam
@@ -41,10 +41,6 @@ depends: [
 synopsis: "Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic"
 available: os-family != "alpine"
 url {
-  src: "https://gitlab.inria.fr/gappa/gappa/-/archive/gappa-1.4.1.tar.gz"
-  checksum: "sha512=c881eb35ad867320c2232c200dde66149fcd8a27972b8dfac1256a477a53e1885a7f89f82e70dbef553ce152e4afb0778bc347ed28cd4d698a1a69e308114aa2"
+  src: "https://gappa.gitlabpages.inria.fr/releases/gappa-1.4.1.tar.gz"
+  checksum: "sha512=bae9788fdce92b04b011b9de207a1234215cbb68c8bd0a60d925fa5fb5e1cad014d60ed8b45d84e8fabd6b54a870a70af6dd24dd68f4dbb2e129f83dcf88fa11"
 }
-extra-files: [
-  "0001-Added-configure-for-c-11.patch"
-  "md5=b6a6dbe9a12feae79eab038864208a3c"
-]