[ nabia ]
Sanal Paket: libghc-sbv-dev-7.13-8e49c
Bu bir sanal pakettir. Sanal paketlerin tanımı için Debian ilkesine bakın.
libghc-sbv-dev-7.13-8e49c sağlayan paketler
- libghc-sbv-dev
- symbolic Haskell theorem prover using SMT solving
Bu bir sanal pakettir. Sanal paketlerin tanımı için Debian ilkesine bakın.