Fixes

coq-tactician · Oct 23, 2023 · 5a8ee68 · 5a8ee68
1 parent d405da1
commit 5a8ee68
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pyproject.toml b/pyproject.toml
@@ -46,10 +46,10 @@ dependencies = [
 ]
 
 [project.urls]
-Homepage = "https://coq-tactician@github.io"
+Homepage = "https://coq-tactician.github.io"
 Documentation = "https://coq-tactician.github.io/api/pytactician-pdoc"
 Repository = "https://github.com/coq-tactician/coq-tactician-api"
-Changelog = "https://github.com/coq-tactician/coq-tactician-api/CHANGELOG.md"
+Changelog = "https://github.com/coq-tactician/coq-tactician-api/blob/coq8.11/CHANGELOG.md"
 
 [project.scripts]
 pytact-fake-coq = "pytact.fake_coq_client:main"