diff options
Diffstat (limited to 'dev-ml')
| -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> |