[ etiona ]
Virtuálny balík: libghc-presburger-dev-1.3.1-9a101
Toto je virtuálny balík. Pozrite si politiku Debianu, kde nájdete definíciu virtuálnych balíkov.
Balíky poskytujúce libghc-presburger-dev-1.3.1-9a101
- libghc-presburger-dev
- decision procedure for quantifier-free linear arithmetic