>> Trisquel >> 套件 >> etiona >> virtual >> libghc-smtlib-prof-1.0.8-0bea9

[ etiona ]

虛擬套件： libghc-smtlib-prof-1.0.8-0bea9

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

提供 libghc-smtlib-prof-1.0.8-0bea9 的套件

libghc-smtlib-prof: A library for working with the SMTLIB format.; profiling libraries