From b20587d17391fd67cf942830328eb1befffed609 Mon Sep 17 00:00:00 2001 From: Jérôme Carretero Date: Sat, 12 Nov 2022 05:12:23 -0500 Subject: add github remote-id when possible Semi-automatically done with: https://gitlab.com/cJ/gentoo-bug-881037-github-reproducible-downloads Closes: https://github.com/gentoo/sci/pull/1182 Signed-off-by: Andrew Ammerlaan --- media-libs/mmg/metadata.xml | 3 +++ 1 file changed, 3 insertions(+) (limited to 'media-libs/mmg') diff --git a/media-libs/mmg/metadata.xml b/media-libs/mmg/metadata.xml index 2b9123050..bd7221f19 100644 --- a/media-libs/mmg/metadata.xml +++ b/media-libs/mmg/metadata.xml @@ -13,4 +13,7 @@ Use SCOTCH TOOL for renumbering Use VTK I/O + + MmgTools/mmg + -- cgit v1.2.3-65-gdbad