虛擬套件： libcoq-stdlib-4ql53

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

提供 libcoq-stdlib-4ql53 的套件

libcoq-stdlib

proof assistant for higher-order logic (theories)