diff options
| author |   Jauhien Piatlicki <jauhien@gentoo.org> | 2014-09-04 22:32:14 +0200 |
|---|---|---|
| committer | Jauhien Piatlicki <jauhien@gentoo.org> | 2014-09-04 22:32:14 +0200 |
| commit | ab8f61ee3def18711d5b3748e7bee610bb0af8d8 (patch) | |
| tree | 7e309060c5d936d2311003d8c597e6033862a803 /dev-ml/zarith/metadata.xml | |
| parent | Merge remote-tracking branch 'gentoo/master' (diff) | |
| download | sci-ab8f61ee3def18711d5b3748e7bee610bb0af8d8.tar.gz sci-ab8f61ee3def18711d5b3748e7bee610bb0af8d8.tar.bz2 sci-ab8f61ee3def18711d5b3748e7bee610bb0af8d8.zip | |
dev-ml/zarith: silence repoman
Diffstat (limited to 'dev-ml/zarith/metadata.xml')
| -rw-r--r-- | dev-ml/zarith/metadata.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dev-ml/zarith/metadata.xml b/dev-ml/zarith/metadata.xml index 1ff321877..5cabf83c7 100644 --- a/dev-ml/zarith/metadata.xml +++ b/dev-ml/zarith/metadata.xml @@ -8,4 +8,8 @@ arithmetic over big integers. Small integers are represented as Caml unboxed integers, for speed and space economy. </longdescription> +<use> + <flag name='mpir'>Use <pkg>sci-libs/mpir</pkg> for arbitrary + precision integer arithmetic</flag> +</use> </pkgmetadata> |