>> Trisquel >> Pakketten >> nabia >> virtual >> ssreflect

[ etiona ] [ nabia ] [ aramo ]

Virtueel pakket: ssreflect

Dit is een virtueel pakket. Zie het Debian beleidshandboek voor de definitie van een virtueel pakket.

Pakketten die ssreflect bieden:

libssreflect-coq: Mathematical Components library for Coq