Virtueel pakket: libghc-simple-smt-prof-0.9.5-b2dae

Dit is een virtueel pakket. Zie het Debian beleidshandboek voor de definitie van een virtueel pakket.

Pakketten die libghc-simple-smt-prof-0.9.5-b2dae bieden:

libghc-simple-smt-prof

A simple way to interact with an SMT solver process.; profiling libraries