Virtuelles Paket: libghc-what4-dev-1.5.1-e264f

Dies ist ein virtuelles Paket. Sehen Sie in die Debian-Richtlinien bezüglich einer Definition von virtuellen Paketen.

Pakete, die libghc-what4-dev-1.5.1-e264f bereitstellen

libghc-what4-dev

Solver-agnostic symbolic values support for issuing queries