[ etiona ]
Pakiet wirtualny: libghc-presburger-dev-1.3.1-43796
Jest to pakiet wirtualny. Proszę zapoznać się z polityką Debiana aby uzyskać definicję pakietu wirtualnego.
Pakiety udostępniające libghc-presburger-dev-1.3.1-43796
- libghc-presburger-dev
- decision procedure for quantifier-free linear arithmetic