Skip to content
Sections
>> Trisquel >> Пакеты >> etiona >> virtual >> libmathcomp-coq
[  etiona  ] [  nabia  ] [  aramo  ]

Виртуальный пакет: libmathcomp-coq

Это виртуальный пакет. О том, что такое виртуальные пакеты читайте в политике Debian.

Пакеты, предоставляющие libmathcomp-coq

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