Merge pull request #410 from math-comp/CohenCyril-patch-1

Update Changelog.md

Merge pull request #388 from math-comp/close-changelog-1.6.0

prepare release

tag for Coq 8.18

Update Changelog.md

Merge pull request #301 from math-comp/update-changelog

Update Changelog.md

minor release, compat 8.15

Merge pull request #269 from math-comp/close-changelog

close Changelog.md before release

Update Changelog.md

Merge pull request #129 from math-comp/release-1.0.0

Close changelog for 1.0.0

Update Changelog.md