Skip to content
Sections
>> Trisquel >> Paketler >> aramo >> virtual >> libssreflect-coq
etiona  ] [  nabia  ] [  aramo  ]

Sanal Paket: libssreflect-coq

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

libssreflect-coq sağlayan paketler

libcoq-mathcomp
Mathematical Components library for Coq (all)