Pin hypothesis to known good version
diff --git a/bin/apt-dependencies.sh b/bin/apt-dependencies.sh
index 13d216c..1b177e2 100755
--- a/bin/apt-dependencies.sh
+++ b/bin/apt-dependencies.sh
@@ -82,7 +82,7 @@
fi
# rest of python dependencies
-pip install --upgrade sphinx_rtd_theme nose requests hypothesis
+pip install --upgrade sphinx_rtd_theme nose requests hypothesis==3.79.0
# package-building stuff
apt-get install -y curl debhelper devscripts dh-exec dh-python \
diff --git a/bin/pkg-dependencies.sh b/bin/pkg-dependencies.sh
index 4497466..10c819f 100755
--- a/bin/pkg-dependencies.sh
+++ b/bin/pkg-dependencies.sh
@@ -38,7 +38,7 @@
py27-sphinx py27-pip
# rest of python dependencies
-pip install --upgrade sphinx_rtd_theme nose requests hypothesis
+pip install --upgrade sphinx_rtd_theme nose requests hypothesis==3.79.0
# TODO: package building stuff?
diff --git a/bin/yum-dependencies.sh b/bin/yum-dependencies.sh
index 8e5293a..4819c0a 100755
--- a/bin/yum-dependencies.sh
+++ b/bin/yum-dependencies.sh
@@ -92,7 +92,7 @@
yum install -y python-pip
fi
pip install docutils==0.13.1 sphinx==1.5.3 sphinx_rtd_theme \
- nose requests hypothesis
+ nose requests hypothesis==3.79.0
# package-building stuff
yum install -y createrepo xfsprogs-devel rpmdevtools