travis: do not fail when the package is not compatible with the OCaml version (test commit, do not merge)
travis: do not fail when the package is not compatible with the OCaml version (test commit, do not merge)

gmalecha/opam-coq-archive,mattam82/coq-opam-archive,gmalecha/opam-coq-archive,coq/opam-coq-archive,mattam82/coq-opam-archive,gmalecha/opam-coq-archive,mattam82/coq-opam-archive