fix the version of the package and the required version for Coq

fix the version of the package and the required version for Coq

corrects a mistake in the compilation instructions

prepare an archive independent from autoconf

Merge pull request rocq-community#35 from gares/patch-2

Avoid race condition when building with -j2 (on coq 8.7)

prepare an archive independent from autoconf

coq-dpdgraph-0.6 release

prepare an archive independent from autoconf

prepare an archive independent from autoconf

fix a version number in the documentation