Gentoo Packages
Gentoo Packages
>
haskell
>
USE Flags
> relocatable
USE Flag: relocatable
Search
Search
Local and Metadata Descriptions
Metadata Descriptions (metadata.xml)
dev-lang/cryptol:
Don't use the Cabal-provided data directory for looking up Cryptol libraries.
Packages Using This Flag
Package
Local Description (use.local.desc)
Metadata Description (metadata.xml)
dev-lang/cryptol
-
Don't use the Cabal-provided data directory for looking up Cryptol libraries.