Sanal Paket: libcoq-mathcomp-character-r12y1

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

libcoq-mathcomp-character-r12y1 sağlayan paketler

libcoq-mathcomp-character

Mathematical Components library for Coq (character)