Packages with the coq use flag

sci-mathematics / why3-for-spark : Platform for deductive program verification

  • Add sci-mathematics/coq support