[ etiona ]
Pakiet wirtualny: libghc-smtlib-dev-1.0.8-0bea9
Jest to pakiet wirtualny. Proszę zapoznać się z polityką Debiana aby uzyskać definicję pakietu wirtualnego.
Pakiety udostępniające libghc-smtlib-dev-1.0.8-0bea9
- libghc-smtlib-dev
- A library for working with the SMTLIB format.