虛擬套件： libghc-presburger-prof-1.3.1-23066

這是一個虛擬套件。檢視Debian 政策瞭解虛擬套件的定義。

提供 libghc-presburger-prof-1.3.1-23066 的套件

libghc-presburger-prof

decision procedure for quantifier-free linear arithmetic; profiling libraries