From e5c4dd94051da82f025fac64819d6bf262225f71 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Thu, 19 Dec 2024 11:57:46 +0100 Subject: [PATCH] javalib 2.3.x: source not available https://gforge.inria.fr/frs/download.php/file/34920/javalib-2.3.1.tar.bz2 returns 403 the other urls as well see https://github.com/ocaml/opam-repository/issues/27131 --- packages/javalib/javalib.2.3.1/opam | 1 + packages/javalib/javalib.2.3.2/opam | 1 + packages/javalib/javalib.2.3.3/opam | 1 + packages/javalib/javalib.2.3.4/opam | 1 + packages/javalib/javalib.2.3.5/opam | 1 + 5 files changed, 5 insertions(+) diff --git a/packages/javalib/javalib.2.3.1/opam b/packages/javalib/javalib.2.3.1/opam index 4703a07a29f..6ce3de5f746 100644 --- a/packages/javalib/javalib.2.3.1/opam +++ b/packages/javalib/javalib.2.3.1/opam @@ -32,3 +32,4 @@ url { "https://gforge.inria.fr/frs/download.php/file/34920/javalib-2.3.1.tar.bz2" checksum: "md5=31e33a2c462f8bbda79218f9041f3639" } +available: false # source tarball not available diff --git a/packages/javalib/javalib.2.3.2/opam b/packages/javalib/javalib.2.3.2/opam index 76a60b7fe78..460576505df 100644 --- a/packages/javalib/javalib.2.3.2/opam +++ b/packages/javalib/javalib.2.3.2/opam @@ -35,3 +35,4 @@ url { "https://gforge.inria.fr/frs/download.php/file/36092/javalib-2.3.2.tar.bz2" checksum: "md5=17ec3fabb1472dd3324ec68fb63b22a6" } +available: false # source tarball not available diff --git a/packages/javalib/javalib.2.3.3/opam b/packages/javalib/javalib.2.3.3/opam index a8692cc0826..efa422b7995 100644 --- a/packages/javalib/javalib.2.3.3/opam +++ b/packages/javalib/javalib.2.3.3/opam @@ -35,3 +35,4 @@ url { "https://gforge.inria.fr/frs/download.php/file/36307/javalib-2.3.3.tar.bz2" checksum: "md5=a4d4b06e8f4860db34c128e760fa8397" } +available: false # source tarball not available diff --git a/packages/javalib/javalib.2.3.4/opam b/packages/javalib/javalib.2.3.4/opam index 9607e8e3ab7..68719094a2e 100644 --- a/packages/javalib/javalib.2.3.4/opam +++ b/packages/javalib/javalib.2.3.4/opam @@ -35,3 +35,4 @@ url { "https://gforge.inria.fr/frs/download.php/file/37154/javalib-2.3.4.tar.bz2" checksum: "md5=4707eda130e41d1d7f0506cc0c77eff1" } +available: false # source tarball not available diff --git a/packages/javalib/javalib.2.3.5/opam b/packages/javalib/javalib.2.3.5/opam index dd40a48a93e..6a3ad2eeef6 100644 --- a/packages/javalib/javalib.2.3.5/opam +++ b/packages/javalib/javalib.2.3.5/opam @@ -36,3 +36,4 @@ url { "https://gforge.inria.fr/frs/download.php/file/37655/javalib-2.3.5.tar.bz2" checksum: "md5=7111616e58b366ca269baf4867677082" } +available: false # source tarball not available