From 1798c4aeca70ac8d0a243684d6a798fbc65735f8 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@redcorelinux.org>
Date: Sat, 14 Jul 2018 20:57:42 +0100
Subject: gentoo resync : 14.07.2018

---
 dev-libs/gmp/metadata.xml | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 dev-libs/gmp/metadata.xml

(limited to 'dev-libs/gmp/metadata.xml')

diff --git a/dev-libs/gmp/metadata.xml b/dev-libs/gmp/metadata.xml
deleted file mode 100644
index 02ee38fa71f9..000000000000
--- a/dev-libs/gmp/metadata.xml
+++ /dev/null
@@ -1,12 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-<maintainer type="project">
-	<email>toolchain@gentoo.org</email>
-	<name>Gentoo Toolchain Project</name>
-</maintainer>
-<use>
-	<flag name="asm">Enable use of hand optimized assembly routines (faster execution)</flag>
-	<flag name="pgo">After building gmp, run some tests against to produce faster libraries -- this option will double the compile time</flag>
-</use>
-</pkgmetadata>
-- 
cgit v1.2.3