eliom 6.4.0: source not available

https://github.com/jrochel/eliom/archive/6.4.0.tar.gz error 404
hannesm · Dec 19, 2024 · 0d95b7d · 0d95b7d
1 parent 4674b6a
commit 0d95b7d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/packages/eliom/eliom.6.4.0/opam b/packages/eliom/eliom.6.4.0/opam
@@ -37,3 +37,4 @@ url {
     "sha512=0de9d360fc00e36b093d2b22c3d5b5f497302017c8bdc54dc47dd38c0e0fd3fa02384431ff8fbe3e67db9947daf1dbcbf266791e23ea01ee6112bd684befc16c"
   ]
 }
+available: false # source tarball not available