mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-01-05 14:07:27 -08:00
1e8d7eb518
Signed-off-by: Arnav Kansal <rnv@google.com> Part-of: https://github.com/gentoo/gentoo/pull/34845 Closes: https://github.com/gentoo/gentoo/pull/34845 Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
22 lines
712 B
XML
22 lines
712 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
|
|
<pkgmetadata>
|
|
<maintainer type="project">
|
|
<email>base-system@gentoo.org</email>
|
|
<name>Gentoo Base System</name>
|
|
</maintainer>
|
|
<use>
|
|
<flag name="mpfr">
|
|
Use <pkg>dev-libs/mpfr</pkg> for high precision arithmetic (-M / --bignum)
|
|
</flag>
|
|
<flag name="pma">
|
|
Experimental Persistent Memory Allocator (PMA) support which allows persistence
|
|
of variables, arrays, and user-defined functions across runs.
|
|
</flag>
|
|
</use>
|
|
<upstream>
|
|
<remote-id type="cpe">cpe:/a:fossies:gawk</remote-id>
|
|
<remote-id type="savannah">gawk</remote-id>
|
|
</upstream>
|
|
</pkgmetadata>
|