Compatible Coq 8.11

This version has the same functionalities as previous versions, but it is compatible with release 8.11 of Coq.

Compatible 8.10

Make compilation conditionally resistant to deprecation warnings, so that opam installation may be more lenient.
This is achieved by adding a variable WARN_ERR, set by default to -warn-error +a but wich can be set to the
empty string in the opam compilation.

Compatible 8.9 and ocaml-4.09

This release is compatible with a wider range of ocaml version, thanks to a lenient treatment of warnings

Compatible Coq 8.9

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.4.zip and v0.6.4.tar.gz can be compiled only on architecture that provide the autoconf tool.

Compatible coq 8.8

Changes between this release and previous ones ensure that the code compile correctly with coq-8.8

Extra release file named coq-dpdgraph-0.6.3.tgz can robustly be compiled on most architectures. This file is also the reference for opam package management.

Default release files v0.6.3.zip and v0.6.3.tar.gz can be compiled only on architecture that provide the autoconf tool.

compatible coq 8.7

Changes between this release and previous ones ensure that the code compile correctly with coq-8.7

Extra release file named coq-dpdgraph-0.6.2.tgz can robustly be compiled on most architectures.
Default release files v0.6.2.zip and v0.6.2.tar.gz can be compiled only on architecture that provide the autoconf tool.

coq-dpdgraph-0.6

• the improved documentation
• support for universe polymorphic constants
• support for primitive projections
• the dpdusage command