Compatible Coq 8.9
Pre-release
Pre-release
Changes between this release and previous ones ensure that the code compile correctly with coq-8.9
Extra release file named coq-dpdgraph-0.6.4.tgz can robustly be compiled on most architectures. This file is also the reference for opam package management.
Default release files v0.6.4beta.zip and v0.6.4beta.tar.gz can be compiled only on architecture that provide the autoconf tool.