diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-03-08 15:24:48 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-03-08 15:24:48 +0100 |
| commit | 720e983621eff779b9f7c71f9d6a7a0e3bb9e13a (patch) | |
| tree | 96fceb072f137456128e7c2e9889af8c9b5044bc /sci-mathematics | |
| parent | app-emacs: drop xgqt (myself) from maintainers (diff) | |
| download | gentoo-720e983621eff779b9f7c71f9d6a7a0e3bb9e13a.tar.gz gentoo-720e983621eff779b9f7c71f9d6a7a0e3bb9e13a.tar.bz2 gentoo-720e983621eff779b9f7c71f9d6a7a0e3bb9e13a.zip | |
sci-mathematics/mathlib-tools: add changelog link
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -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> |