diff options
| author |   Keri Harris <keri@gentoo.org> | 2020-03-29 12:42:52 +0200 |
|---|---|---|
| committer | Keri Harris <keri@gentoo.org> | 2020-03-29 12:43:03 +0200 |
| commit | afd55ec4490b855a0ec20b080aef810ec497708b (patch) | |
| tree | 4b181a81607fe7515a770dd643a796cdfa9139a3 /dev-lang/mercury-extras/metadata.xml | |
| parent | sys-boot/woeusb: amd64 stable wrt bug #715094 (diff) | |
| download | gentoo-afd55ec4490b855a0ec20b080aef810ec497708b.tar.gz gentoo-afd55ec4490b855a0ec20b080aef810ec497708b.tar.bz2 gentoo-afd55ec4490b855a0ec20b080aef810ec497708b.zip | |
dev-lang/mercury-extras: version bump
Signed-off-by: Keri Harris <keri@gentoo.org>
Package-Manager: Portage-2.3.89, Repoman-2.3.11
Diffstat (limited to 'dev-lang/mercury-extras/metadata.xml')
| -rw-r--r-- | dev-lang/mercury-extras/metadata.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dev-lang/mercury-extras/metadata.xml b/dev-lang/mercury-extras/metadata.xml index c301cedb922a..d51dcb06bfde 100644 --- a/dev-lang/mercury-extras/metadata.xml +++ b/dev-lang/mercury-extras/metadata.xml @@ -5,4 +5,7 @@ <email>keri@gentoo.org</email> <name>Keri Harris</name> </maintainer> +<use> + <flag name="tommath">Enable support for tommath library</flag> +</use> </pkgmetadata> |