Skip to content

Commit

Permalink
update Travis packages
Browse files Browse the repository at this point in the history
  • Loading branch information
avsm committed Dec 10, 2013
1 parent ee0ae01 commit 73702e9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .travis-ci.sh
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
OPAM_DEPENDS="lwt async ssl uri re"
OPAM_DEPENDS="lwt async ssl uri re mirage-tcpip-unix mirage-tcpip-xen"

case "$OCAML_VERSION,$OPAM_VERSION" in
4.00.1,1.0.0) ppa=avsm/ocaml40+opam10 ;;
Expand Down

0 comments on commit 73702e9

Please sign in to comment.