Gentoo Packages
Gentoo Packages
>
eventb-rossi
>
USE Flags
> boost
USE Flag: boost
Search
Search
Manage
Information:
euse -i boost
Enable:
euse -E boost
Disable:
euse -D boost
Local and Metadata Descriptions
Metadata Descriptions (metadata.xml)
sci-mathematics/ltsmin:
Enable advanced variable-reordering algorithms using <pkg>dev-libs/boost</pkg>
Packages Using This Flag
Package
Local Description (use.local.desc)
Metadata Description (metadata.xml)
sci-mathematics/ltsmin
-
Enable advanced variable-reordering algorithms using <pkg>dev-libs/boost</pkg>