[ etiona ]
Sanal Paket: libghc-presburger-dev-1.3.1-43796
Bu bir sanal pakettir. Sanal paketlerin tanımı için Debian ilkesine bakın.
libghc-presburger-dev-1.3.1-43796 sağlayan paketler
- libghc-presburger-dev
- decision procedure for quantifier-free linear arithmetic