[ nabia ]
Virtuálny balík: libghc-presburger-dev-1.3.1-4c1c9
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-4c1c9
- libghc-presburger-dev
- decision procedure for quantifier-free linear arithmetic