Virtueel pakket: libghc-smtlib-dev-1.1-eb32f

Dit is een virtueel pakket. Zie het Debian beleidshandboek voor de definitie van een virtueel pakket.

Pakketten die libghc-smtlib-dev-1.1-eb32f bieden:

libghc-smtlib-dev

A library for working with the SMTLIB format.