odoc 1.4.0 — documentation generator (#13617)
odoc 1.4.0 — documentation generator (#13617)

* odoc 1.4.0

* odoc.1.4.0: remove redundant versionvsriable

fdopen/opam-repository-mingw,fdopen/opam-repository-mingw