Skip to content
Sections
>> Trisquel >> Paket >> Paketsökresultat

Sök i specifik svit: [aramo] [aramo-updates] [aramo-security] [aramo-backports] [nabia] [nabia-updates] [nabia-security] [nabia-backports] [etiona] [etiona-updates] [etiona-security] [etiona-backports]

Sök i alla sviter

Limit search to a specific architecture: [i386] [amd64] [armhf] [arm64] [ppc64el]

Sök i alla arkitekturer

Vissa resultat har inte visats på grund av sökparametrarna.

Du har sökt efter paket vars namn innehåller libcoq-mathcomp i svit(en) aramo, alla sektioner och arkitektur(er) arm64. Hittade 7 paket.

Exakta träffar

Paketet libcoq-mathcomp

  • aramo (math): Mathematical Components library for Coq (all)
    1.14.0-7: all

Andra träffar

Paketet libcoq-mathcomp-algebra

  • aramo (math): Mathematical Components library for Coq (algebra)
    1.14.0-7: all

Paketet libcoq-mathcomp-character

  • aramo (math): Mathematical Components library for Coq (character)
    1.14.0-7: all

Paketet libcoq-mathcomp-field

  • aramo (math): Mathematical Components library for Coq (field)
    1.14.0-7: all

Paketet libcoq-mathcomp-fingroup

  • aramo (math): Mathematical Components library for Coq (finite groups)
    1.14.0-7: all

Paketet libcoq-mathcomp-solvable

  • aramo (math): Mathematical Components library for Coq (finite groups II)
    1.14.0-7: all

Paketet libcoq-mathcomp-ssreflect

  • aramo (math): Mathematical Components library for Coq (small scale reflection)
    1.14.0-7: all