fix debian distro name in travis

ocurrent · Feb 1, 2019 · 528bf19 · 528bf19
1 parent db58577
commit 528bf19
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -7,6 +7,6 @@ env:
   global:
   - OCAML_VERSIONS="4.03 4.04 4.05 4.06 4.07"
   matrix:
-  - DISTRO="debian"
+  - DISTRO="debian-stable"
   - DISTRO="alpine"
   - DISTRO="ubuntu"