From 0d95b7d194ec82ef0dde26f6d4a8662da4eb909a Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Thu, 19 Dec 2024 11:54:47 +0100
Subject: [PATCH] eliom 6.4.0: source not available
 https://github.com/jrochel/eliom/archive/6.4.0.tar.gz error 404

---
 packages/eliom/eliom.6.4.0/opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/eliom/eliom.6.4.0/opam b/packages/eliom/eliom.6.4.0/opam
index 1cc3e88d8e5..f0f3704b6bc 100644
--- 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