[ aramo ]
Virtuálny balík: libghc-smtlib-prof-1.1-222f0
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.1-222f0
- libghc-smtlib-prof
- A library for working with the SMTLIB format.; profiling libraries