Virtueel pakket: libghc-presburger-dev-1.3.1-c866e

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

Pakketten die libghc-presburger-dev-1.3.1-c866e bieden:

libghc-presburger-dev

decision procedure for quantifier-free linear arithmetic