» Ubuntu » 软件包 » plucky » virtual » libghc-presburger-dev-1.3.1-c866e
[  plucky  ]

虚包: libghc-presburger-dev-1.3.1-c866e

这是一个虚包。查看Debian 政策了解虚包的定义。

负责填实 libghc-presburger-dev-1.3.1-c866e 的软件包

libghc-presburger-dev
decision procedure for quantifier-free linear arithmetic