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