📌 Update for Polyhedra v0.4.1

Author: blegat

.travis.yml

@@ -11,11 +11,6 @@ addons:
     - libgmp-dev
 notifications:
   email: false
-# script:
-#   - if [[ -a .git/shallow ]]; then git fetch --unshallow; fi
-#   - julia -e 'Pkg.clone(pwd()); Pkg.build("LRSLib"); Pkg.test("LRSLib"; coverage=true)'
-before_script:
-  - julia -e 'using Pkg; Pkg.add(PackageSpec(name="Polyhedra", rev="master"))'
 after_success:
   # push coverage results to Coveralls
   - julia -e 'cd(Pkg.dir("LRSLib")); Pkg.add("Coverage"); using Coverage; Coveralls.submit(process_folder())'

REQUIRE

@@ -1,6 +1,6 @@
 julia 0.7
 BinDeps
-Polyhedra 0.4 0.5
+Polyhedra 0.4.1 0.5
 MathProgBase
 JuMP
 @osx Homebrew