diff --git a/packages/jose/jose.0.2.0/opam b/packages/jose/jose.0.2.0/opam
index 01e50fbffba..3176fcd80c6 100644
--- a/packages/jose/jose.0.2.0/opam
+++ b/packages/jose/jose.0.2.0/opam
@@ -39,6 +39,7 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+available: false
 dev-repo: "git+https://github.com/ulrikstrid/reason-jose.git"
 url {
   src:
diff --git a/packages/jose/jose.0.3.0/opam b/packages/jose/jose.0.3.0/opam
index a414e0f9a1d..99f141cfaca 100644
--- a/packages/jose/jose.0.3.0/opam
+++ b/packages/jose/jose.0.3.0/opam
@@ -39,6 +39,7 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+available: false
 dev-repo: "git+https://github.com/ulrikstrid/reason-jose.git"
 url {
   src:
diff --git a/packages/jose/jose.0.3.1/opam b/packages/jose/jose.0.3.1/opam
index 44cd8b358d0..594069dbf91 100644
--- a/packages/jose/jose.0.3.1/opam
+++ b/packages/jose/jose.0.3.1/opam
@@ -40,6 +40,7 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+available: false
 dev-repo: "git+https://github.com/ulrikstrid/reason-jose.git"
 url {
   src:
diff --git a/packages/jose/jose.0.4.0/opam b/packages/jose/jose.0.4.0/opam
index e34029faaa6..2e77d231b93 100644
--- a/packages/jose/jose.0.4.0/opam
+++ b/packages/jose/jose.0.4.0/opam
@@ -40,6 +40,7 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+available: false
 dev-repo: "git+https://github.com/ulrikstrid/reason-jose.git"
 url {
   src:
diff --git a/packages/jose/jose.0.5.0/opam b/packages/jose/jose.0.5.0/opam
index 54a25424bf2..4c256a367d0 100644
--- a/packages/jose/jose.0.5.0/opam
+++ b/packages/jose/jose.0.5.0/opam
@@ -41,6 +41,7 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+available: false
 dev-repo: "git+https://github.com/ulrikstrid/reason-jose.git"
 x-commit-hash: "207db96bee33c10b062734383760db4792d5f282"
 url {
diff --git a/packages/jose/jose.0.5.1/opam b/packages/jose/jose.0.5.1/opam
index 9646a2f9b8b..5c8fedc3b2f 100644
--- a/packages/jose/jose.0.5.1/opam
+++ b/packages/jose/jose.0.5.1/opam
@@ -41,6 +41,7 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+available: false
 dev-repo: "git+https://github.com/ulrikstrid/reason-jose.git"
 x-commit-hash: "d90a584f737a45556ca135f373aa10fbc3b5d45d"
 url {
diff --git a/packages/jose/jose.0.6.0/opam b/packages/jose/jose.0.6.0/opam
index 494205c22d0..a879a4bcea4 100644
--- a/packages/jose/jose.0.6.0/opam
+++ b/packages/jose/jose.0.6.0/opam
@@ -42,6 +42,7 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+available: false
 dev-repo: "git+https://github.com/ulrikstrid/reason-jose.git"
 x-commit-hash: "30215c30b0b14907f54a951e7db8d2062cd29774"
 url {
diff --git a/packages/jose/jose.0.7.0/opam b/packages/jose/jose.0.7.0/opam
index 9aedd7218a4..2eea56446eb 100644
--- a/packages/jose/jose.0.7.0/opam
+++ b/packages/jose/jose.0.7.0/opam
@@ -45,6 +45,7 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+available: false
 dev-repo: "git+https://github.com/ulrikstrid/reason-jose.git"
 url {
   src:
diff --git a/packages/jose/jose.0.8.1/opam b/packages/jose/jose.0.8.1/opam
index 2bf046ad68c..eca40a40caf 100644
--- a/packages/jose/jose.0.8.1/opam
+++ b/packages/jose/jose.0.8.1/opam
@@ -41,6 +41,7 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+available: false
 dev-repo: "git+https://github.com/ulrikstrid/reason-jose.git"
 url {
   src: