Disable test that needs base_quickcheck

diff --git a/debian/patches/0001-Disable-test-that-needs-base_quickcheck.patch b/debian/patches/0001-Disable-test-that-needs-base_quickcheck.patch
new file mode 100644 (file)
index 0000000..8f1ed35
--- /dev/null
+++ b/debian/patches/0001-Disable-test-that-needs-base_quickcheck.patch
@@ -0,0 +1,20 @@
+From: Stephane Glondu <steph@glondu.net>
+Date: Sat, 14 Mar 2026 09:56:00 +0100
+Subject: Disable test that needs base_quickcheck
+
+---
+ http/test/dune | 1 +
+ 1 file changed, 1 insertion(+)
+
+diff --git a/http/test/dune b/http/test/dune
+index 8201ba4..36a713c 100644
+--- a/http/test/dune
++++ b/http/test/dune
+@@ -12,6 +12,7 @@
+ 
+ (test
+  (name test_parser)
++ (enabled_if false)
+  (modules test_parser)
+  (package http)
+  (preprocess

diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644 (file)
index 0000000..d3328ad
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+0001-Disable-test-that-needs-base_quickcheck.patch