aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/zarith/metadata.xml')
-rw-r--r--dev-ml/zarith/metadata.xml20
1 files changed, 7 insertions, 13 deletions
diff --git a/dev-ml/zarith/metadata.xml b/dev-ml/zarith/metadata.xml
index d2e969145..1ff321877 100644
--- a/dev-ml/zarith/metadata.xml
+++ b/dev-ml/zarith/metadata.xml
@@ -1,17 +1,11 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <herd>sci</herd>
- <longdescription>
- The Zarith library implements arithmetic and logical operations over
- arbitrary-precision integers. It uses GMP to efficiently implement
- arithmetic over big integers. Small integers are represented as Caml
- unboxed integers, for speed and space economy.
- </longdescription>
- <maintainer>
- <email>sci@gentoo.org</email>
- </maintainer>
- <use>
- <flag name="ocamlopt">?ocamlopt?</flag>
- </use>
+<herd>sci-mathematics</herd>
+<longdescription>
+ The Zarith library implements arithmetic and logical operations over
+ arbitrary-precision integers. It uses GMP to efficiently implement
+ arithmetic over big integers. Small integers are represented as Caml
+ unboxed integers, for speed and space economy.
+</longdescription>
</pkgmetadata>