kremlin and deadlock have wrong checksums as well

ocaml · Dec 19, 2024 · f33bbbd · f33bbbd
1 parent 94fdd83
commit f33bbbd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/packages/deadlock/deadlock.1.0/opam b/packages/deadlock/deadlock.1.0/opam
@@ -33,3 +33,4 @@ url {
     "md5=fa1302e9f6586ba535838c23bfbffea8"
   ]
 }
+available: false # source tarball not available (bad checksum)
diff --git a/packages/kremlin/kremlin.0.9.6.0/opam b/packages/kremlin/kremlin.0.9.6.0/opam
@@ -46,3 +46,4 @@ url {
   src: "https://github.com/FStarLang/kremlin/archive/v0.9.6.0.zip"
   checksum: "md5=6a580d0b470484db5637d593a06811be"
 }
+available: false # source tarball not available (bad checksum)
-Original file line number
+Diff line change
@@ Expand Up / @@ -33,3 +33,4 @@ url { @@
         "md5=fa1302e9f6586ba535838c23bfbffea8"
       ]
     }
+    available: false # source tarball not available (bad checksum)