Skip to content

Compatible coq 8.8
Compare
Choose a tag to compare
@ybertot ybertot released this 19 Apr 06:24
· 142 commits to coq-master since this release
v0.6.3
0acbd0a

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.

Assets 3
Loading