diff options
| -rw-r--r-- | sci-mathematics/mathlib-tools/metadata.xml | 1 |
1 files changed, 1 insertions, 0 deletions
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> |