Sanal Paket: libmathcomp-coq

Bu bir sanal pakettir. Sanal paketlerin tanımı için Debian ilkesine bakın.

libmathcomp-coq sağlayan paketler

libcoq-mathcomp

Mathematical Components library for Coq (all)