[ etiona ]
Virtueel pakket: libghc-presburger-dev-1.3.1-9a101
Dit is een virtueel pakket. Zie het Debian beleidshandboek voor de definitie van een virtueel pakket.
Pakketten die libghc-presburger-dev-1.3.1-9a101 bieden:
- libghc-presburger-dev
- decision procedure for quantifier-free linear arithmetic