From fbeb89402931f477eed41c855c4f2b010b2cd82e Mon Sep 17 00:00:00 2001 From: kjain14 Date: Thu, 21 May 2020 11:38:51 -0700 Subject: [PATCH] Update CHANGELOG.md --- CHANGELOG.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index ca68a93..f9db383 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -14,6 +14,6 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). ### Changed - Initial release of mCoq for Coq 8.10 -[Unreleased]: https://github.com/coq-community/chapar/compare/v8.10.0...master -[8.10.0]: https://github.com/coq-community/chapar/releases/tag/v8.10.0 -[1.0]: https://github.com/coq-community/chapar/releases/tag/v1.0 +[Unreleased]: https://github.com/EngineeringSoftware/mcoq/compare/v8.10.0...master +[8.10.0]: https://github.com/EngineeringSoftware/mcoq/releases/tag/v8.10.0 +[1.0]: https://github.com/EngineeringSoftware/mcoq/releases/tag/v1.0