>> Trisquel >> Packages >> etiona >> virtual >> libmathcomp-coq

[ etiona ] [ nabia ] [ aramo ]

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

Це — віртуальний пакунок. Перегляньте Політику Debian щоб дізнатись про визначення віртуальних пакунків.

Пакунки що надають libmathcomp-coq

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