gappa 1.3.5: bad checksum

https://gitlab.inria.fr/gappa/gappa/-/archive/gappa-1.3.5.tar.gz error sha512 checksum: computed d3dc73945ebf46f85681fc622615bd6cc979d45247ea53f71967261d49c832553581b7b7014293915cc57e401af519c123e926268c8b37c285e913138ead4606 expected 29ce59af97e6d60547a193b43538f4812ff74fb01a812cda7109855219457fa7a47f59ea39aff2a5e03fd70181e024a3296b4f48300818a81f62fd2d8629c389
hannesm · Dec 19, 2024 · 4674b6a · 4674b6a
1 parent f5ca907
commit 4674b6a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/packages/gappa/gappa.1.3.5/opam b/packages/gappa/gappa.1.3.5/opam
@@ -59,3 +59,4 @@ extra-source "0001-Added-configure-for-c-11.patch" {
     "md5=b6a6dbe9a12feae79eab038864208a3c"
   ]
 }
+available: false # source tarball not available / wrong checksum