From aa74d065571ea1429fdd025f258e22b7fc5216c6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Beno=C3=AEt=20Legat?= <benoit.legat@gmail.com>
Date: Sat, 7 Apr 2018 16:51:07 +0200
Subject: [PATCH] Require Polyhedra v0.3.0

---
 .travis.yml | 2 --
 REQUIRE     | 2 +-
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 1fdebe6..fc37f4b 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -13,8 +13,6 @@ notifications:
 # 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 'Pkg.clone("https://github.com/JuliaPolyhedra/Polyhedra.jl.git")'
 after_success:
   # push coverage results to Coveralls
   - julia -e 'cd(Pkg.dir("LRSLib")); Pkg.add("Coverage"); using Coverage; Coveralls.submit(process_folder())'
diff --git a/REQUIRE b/REQUIRE
index e354a1c..7022140 100644
--- a/REQUIRE
+++ b/REQUIRE
@@ -1,4 +1,4 @@
 julia 0.6
 BinDeps
-Polyhedra 0.2.1 0.3
+Polyhedra 0.3 0.4
 @osx Homebrew