Virtuellt paket: libghc-presburger-dev-1.3.1-c866e

Detta är ett virtuellt paket. Se Debians policy för en definition av virtuella paket.

Paket som tillhandahåller libghc-presburger-dev-1.3.1-c866e

libghc-presburger-dev

decision procedure for quantifier-free linear arithmetic