sawja 1.5.1/1.5.2/1.5.3: source not available

see ocaml#27131 the https://gforge.inria.fr/frs/download.php/file/34921/sawja-1.5.1.tar.bz2 returns 403
hannesm · Dec 19, 2024 · 36ad48a · 36ad48a
1 parent a021b67
commit 36ad48a
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/packages/sawja/sawja.1.5.1/opam b/packages/sawja/sawja.1.5.1/opam
@@ -26,3 +26,4 @@ url {
     "https://gforge.inria.fr/frs/download.php/file/34921/sawja-1.5.1.tar.bz2"
   checksum: "md5=3a9b750faa7a368ec6aaaa0206fac40b"
 }
+available: false # source tarball not available
diff --git a/packages/sawja/sawja.1.5.2/opam b/packages/sawja/sawja.1.5.2/opam
@@ -31,3 +31,4 @@ url {
     "https://gforge.inria.fr/frs/download.php/file/36093/sawja-1.5.2.tar.bz2"
   checksum: "md5=12afa3651ea39413d2cb0e1775f587c4"
 }
+available: false # source tarball not available
diff --git a/packages/sawja/sawja.1.5.3/opam b/packages/sawja/sawja.1.5.3/opam
@@ -31,3 +31,4 @@ url {
     "https://gforge.inria.fr/frs/download.php/file/37403/sawja-1.5.3.tar.bz2"
   checksum: "md5=25ff421a3f932881234ed5b05b94ac8d"
 }
+available: false # source tarball not available