Virtuálny balík: libghc-smtlib-dev-1.1-eb32f

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-dev-1.1-eb32f