>> Trisquel >> 套件 >> etiona >> virtual >> libmathcomp-coq

[ etiona ] [ nabia ] [ aramo ]

虛擬套件： libmathcomp-coq

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

提供 libmathcomp-coq 的套件

libssreflect-coq: small scale reflection library for Coq (theories)