Try to fix the opam dependency for conf-gmp.1

2016-10-25 15:42:43 -05:00 · 2016-10-25 15:42:43 -05:00 · f340c3eb99
parent b7590f1bb3
commit f340c3eb99
1 changed files with 1 additions and 0 deletions
--- a/.travis.yml
+++ b/.travis.yml
@ -9,6 +9,7 @@ sudo: false
 addons:
  apt:
    packages:
+    - libgmp3-dev
    - gfortran
    - gcc
    - liblapack-dev