dev-ml/zarith: drop old

Removes last use case of "mpir" USE flag, so purge it from metadata.xml. Also purge it from profiles/ where it was, naturally, masked. The ultimate masking is to remove the USE flag. Signed-off-by: Eli Schwartz <[email protected]> Signed-off-by: Sam James <[email protected]>
johu · Mar 1, 2024 · dff6d06 · dff6d06
1 parent d8053c0
commit dff6d06
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 67 deletions.
diff --git a/dev-ml/zarith/Manifest b/dev-ml/zarith/Manifest
@@ -1,2 +1 @@
-DIST zarith-1.12.tar.gz 93695 BLAKE2B b9622e2f397887d08fb8a8520419cf459e99906c05a897af91258b17d92d3fbbd2314a0a4be8a56a07074dcb0a0d04c896b3b5e69526a6c81a8a07b657d1bfec SHA512 8075573ae65579a2606b37dd1b213032a07d220d28c733f9288ae80d36f8a2cc4d91632806df2503c130ea9658dc207ee3a64347c21aa53969050a208f5b2bb4
 DIST zarith-1.13.tar.gz 85994 BLAKE2B a5860319e17f4e660f248f3e724076b578d27dc3a06e8b54d68bcd6ed021a0354ad714dfcb06329bb9c4a3eadc3d08fd84fd76ef5d1a8902a06a7506d77addde SHA512 a562fa8bf4f5ef44f2af6b9a8f028182fd184c89f8c41455acdc02851cc0fc3124d3776c0de930e8d09cd5d6d88cc689f80f4b597068a0611131f45d057b101f
diff --git a/dev-ml/zarith/metadata.xml b/dev-ml/zarith/metadata.xml
@@ -5,9 +5,6 @@
  <email>[email protected]</email>
  <name>ML</name>
  </maintainer>
- <use>
- <flag name="mpir">Use MPIR library instead of GMP.</flag>
- </use>
  <upstream>
  <remote-id type="github">ocaml/Zarith</remote-id>
  </upstream>

diff --git a/dev-ml/zarith/zarith-1.12.ebuild b/dev-ml/zarith/zarith-1.12.ebuild
diff --git a/profiles/arch/x86/package.use.stable.mask b/profiles/arch/x86/package.use.stable.mask
@@ -27,7 +27,6 @@ sys-kernel/gentoo-kernel-bin generic-uki
 app-metrics/collectd collectd_plugins_gps collectd_plugins_sigrok
 dev-games/openscenegraph las
 dev-libs/efl physics
-dev-ml/zarith mpir
 media-libs/a52dec djbfft
 dev-python/graphviz test
 kde-apps/cantor R