[ etiona ]
Virtuálny balík: libghc-smtlib-prof-1.0.8-0bea9
Toto je virtuálny balík. Pozrite si politiku Debianu, kde nájdete definíciu virtuálnych balíkov.
Balíky poskytujúce libghc-smtlib-prof-1.0.8-0bea9
- libghc-smtlib-prof
- A library for working with the SMTLIB format.; profiling libraries