Closed MercierCorentin closed 4 years ago
On Cygwin, graphviz package exists, this PR enables, if depext-cygwinports is installed, users to download graphviz package directly from the opam depext command.
graphviz
depext-cygwinports
opam depext
Thanks, cherry picked and edited in 94f0baaa3d2b6d9259c3a7804177c5e5f6b73cd2
On Cygwin,
graphviz
package exists, this PR enables, ifdepext-cygwinports
is installed, users to downloadgraphviz
package directly from theopam depext
command.