commit: 720e983621eff779b9f7c71f9d6a7a0e3bb9e13a
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Mar 8 14:24:48 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Mar 8 14:24:48 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=720e9836
sci-mathematics/mathlib-tools: add changelog link
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/mathlib-tools/metadata.xml | 1 +
1 file changed, 1 insertion(+)
diff --git a/sci-mathematics/mathlib-tools/metadata.xml
b/sci-mathematics/mathlib-tools/metadata.xml
index d2b17cbe5953..c2598dacd8a7 100644
--- a/sci-mathematics/mathlib-tools/metadata.xml
+++ b/sci-mathematics/mathlib-tools/metadata.xml
@@ -13,6 +13,7 @@
- https://leanprover-community.github.io/leanproject.html
</longdescription>
<upstream>
+
<changelog>https://github.com/leanprover-community/mathlib-tools/blob/master/CHANGELOG.md</changelog>
<bugs-to>https://github.com/leanprover-community/mathlib-tools/issues</bugs-to>
<remote-id type="github">leanprover-community/mathlib-tools</remote-id>
</upstream>
