coq

Local USE flag

Packages describing “coq” as local USE flag

Package “coq” Flag Description
sci-mathematics/why3-for-spark Add sci-mathematics/coq support