diff --git a/.travis.yml b/.travis.yml
index b54d9e5fe44..3fec26af379 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -107,7 +107,7 @@ matrix:
         # Install dependencies
         - sudo apt-get install gcc-arm-embedded
         - pip install -r requirements.txt
-        - pip install pytest pylint hypothesis mock coverage coveralls
+        - pip install pytest pylint hypothesis==3.88.3 mock coverage coveralls
         # Print versions we use
 
         - arm-none-eabi-gcc --version