diff --git a/.travis.yml b/.travis.yml index 4363a21c..c1c30668 100644 --- a/.travis.yml +++ b/.travis.yml @@ -8,7 +8,7 @@ env: addons: apt: sources: - - sourceline 'ppa:avsm/ocaml42+opam12' + - avsm packages: - opam before_install: