Update travis

frenetic-lang · Nov 19, 2020 · e07a3e8 · e07a3e8
1 parent 9c738c2
commit e07a3e8
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 4 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -7,8 +7,7 @@ env:
   - PACKAGE=frenetic
   - secure: S2gNgyfUoFT0UZp0AFh34Rh6teIQ2dC8qjrsN+Lr7IWsjglre0HnSfzpFwpCES810LcZanHT3V7BKwbOUse/1pjqW2bXYPqbbdplwaY+PK6gkc9JDEOgXOyoPHbtmBAT2n20OAvz7Ih0CUMlLwBJyBlpi6LA+Zk2uYUhjUY32us=
   matrix:
-  - OCAML=4.06.1
-  - OCAML=4.07.1
+  - OCAML=4.11.0
 script:
 - echo "yes" | sudo add-apt-repository ppa:avsm/ppa
 - sudo apt-get update -qq

diff --git a/dune-project b/dune-project
@@ -1,4 +1,4 @@
-(lang dune 1.9)
+(lang dune 2.0)
 (name frenetic)
 (using menhir 2.0)
 (allow_approximate_merlin)
diff --git a/frenetic.opam b/frenetic.opam
@@ -19,7 +19,6 @@ depends: [
   "odoc"
   #########################
   "async"  {>= "v0.14.0" }
-  "async_extended" {>= "v0.14.0" }
   "base64" {>= "3.4.0"}
   "cohttp" {>= "2.5.4"}
   "cohttp-async" {>= "2.5.4" }