Merge pull request #28 from talex5/fix-travis

Remove dependency on mirage-dev repository
mirage · Mar 8, 2019 · b4908d9 · b4908d9
2 parents 6b636af + 07dd86b
commit b4908d9
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -5,7 +5,6 @@ script: bash -ex .travis-opam.sh
 env:
   global:
   - PINS="mirage-qubes.dev:. mirage-qubes-ipv4.dev:."
-  - EXTRA_REMOTES="https://github.com/mirage/mirage-dev.git"
   matrix:
   - OCAML_VERSION=4.04 PACKAGE=mirage-qubes
   - OCAML_VERSION=4.04 PACKAGE=mirage-qubes-ipv4