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