Merge pull request #213 from yomimono/pin-less

remove custom pins for mirage, mirage-types, mirage-types-lwt; pin de…
mirage · Jun 14, 2016 · 29a5e06 · 29a5e06
2 parents 3ef8bcf + dfa676e
commit 29a5e06
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -3,7 +3,7 @@ script: bash -ex .travis-ci.sh
 sudo: required
 env:
   global:
-          - PINS="mirage:https://github.com/mirage/mirage.git mirage-types:https://github.com/yomimono/mirage.git#pseudoheaders mirage-types-lwt:https://github.com/yomimono/mirage.git#pseudoheaders"
+          - PINS="mirage mirage-types mirage-types-lwt"
   matrix:
   - OCAML_VERSION=4.02 PACKAGE=tcpip MIRAGE_MODE=unix
   - UPDATE_GCC_BINUTILS=1 OCAML_VERSION=4.02 PACKAGE=tcpip MIRAGE_MODE=xen