Skip to content

compatible coq 8.7
Compare
Choose a tag to compare
@ybertot ybertot released this 26 Oct 07:06
· 20 commits to master since this release
v0.6.2
d76ddde

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.

Assets 3
Loading