From f8a9efc00036c2f85c69722d3660ec42c47cbdfe Mon Sep 17 00:00:00 2001
From: Marcello Seri <marcello.seri@gmail.com>
Date: Sat, 7 Nov 2020 10:25:54 +0100
Subject: [PATCH] Pull release of cohttp 3 (available = false)

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
---
 packages/cohttp/cohttp.3.0.0/opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/cohttp/cohttp.3.0.0/opam b/packages/cohttp/cohttp.3.0.0/opam
index 0d5cbe37e887..16993d148fa1 100644
--- a/packages/cohttp/cohttp.3.0.0/opam
+++ b/packages/cohttp/cohttp.3.0.0/opam
@@ -50,6 +50,7 @@ depends: [
   "jsonm" {build}
   "alcotest" {with-test}
 ]
+available: false
 build: [
   ["dune" "subst"] {pinned}
   ["dune" "build" "-p" name "-j" jobs]