[ etiona ]
Sanal Paket: libghc-smtlib-dev-1.0.8-0bea9
Bu bir sanal pakettir. Sanal paketlerin tanımı için Debian ilkesine bakın.
libghc-smtlib-dev-1.0.8-0bea9 sağlayan paketler
- libghc-smtlib-dev
- A library for working with the SMTLIB format.