Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

local USE flag
coq

Packages describing “coq” as local USE flag

Package“coq” Flag Description
sci-mathematics/why3Add sci-mathematics/coq support
sci-mathematics/why3-for-sparkAdd sci-mathematics/coq support

All packages providing a “coq” USE flag (2)