From fd1824e9b1fd180f410170bf2d02e1f098f53db9 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 1 Mar 2024 11:41:16 +0000 Subject: gentoo auto-resync : 01:03:2024 - 11:41:16 --- dev-ml/zarith/metadata.xml | 3 --- 1 file changed, 3 deletions(-) (limited to 'dev-ml/zarith/metadata.xml') diff --git a/dev-ml/zarith/metadata.xml b/dev-ml/zarith/metadata.xml index 6d4c3b60cfec..cdc93725d68d 100644 --- a/dev-ml/zarith/metadata.xml +++ b/dev-ml/zarith/metadata.xml @@ -5,9 +5,6 @@ ml@gentoo.org ML - - Use MPIR library instead of GMP. - ocaml/Zarith -- cgit v1.2.3