Skip to content
Sections
>> Trisquel >> Pakete >> Ergebnisse der Paketsuche

Suchen in bestimmter Suite: [ecne] [ecne-updates] [ecne-security] [ecne-backports] [aramo] [aramo-updates] [aramo-security] [aramo-backports]

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

Ihre Suche nach Paketen, deren Name libcoq-mathcomp enthält, in allen Suites, allen Bereichen, und auf allen Architekturen: 10 Treffer.

Genaue Treffer

Paket libcoq-mathcomp

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

Andere Treffer

Paket libcoq-mathcomp-algebra

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

Paket libcoq-mathcomp-analysis

  • aramo (ocaml): analysis extension for Mathematical Components
    0.3.13-1: amd64

Paket libcoq-mathcomp-bigenough

  • aramo (ocaml): epsilon - N reasoning for Mathematical Components
    1.0.1-1: amd64

Paket libcoq-mathcomp-character

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

Paket libcoq-mathcomp-field

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

Paket libcoq-mathcomp-fingroup

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

Paket libcoq-mathcomp-finmap

  • aramo (ocaml): finite sets and maps extension for Mathematical Components
    1.5.1-1: amd64

Paket libcoq-mathcomp-solvable

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

Paket libcoq-mathcomp-ssreflect

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