Ubuntu – Package Search Results -- libcoq-mathcomp

» Ubuntu » Pakketten » Package Search Results

IN een specifieke suite zoeken: [jammy] [jammy-updates] [jammy-backports] [noble] [noble-updates] [noble-backports] [plucky] [plucky-updates] [plucky-backports] [questing] [questing-updates] [questing-backports] [resolute]

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

You have searched for pakketten that names contain libcoq-mathcomp in alle suites, alle secties, and alle platforms. Found 15 matching packages.

Exacte resultaten

Pakket libcoq-mathcomp

jammy (22.04LTS) (math): Mathematical Components library for Coq (all) [universe]
1.14.0-7: all
noble (24.04LTS) (math): Mathematical Components library for Coq (all) [universe]
2.1.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (math): Mathematical Components library for Coq (all) [universe]
2.3.0-1build8: amd64 arm64 ppc64el riscv64 s390x
questing (25.10) (math): Mathematical Components library for Coq (all) [universe]
2.3.0-1build12: amd64 arm64 ppc64el riscv64 s390x
resolute (math): Mathematical Components library for Coq (all) [universe]
2.3.0-1build16: amd64 arm64 ppc64el riscv64 s390x

Overige resultaten

Pakket libcoq-mathcomp-algebra

jammy (22.04LTS) (math): Mathematical Components library for Coq (algebra) [universe]
1.14.0-7: all
noble (24.04LTS) (math): Mathematical Components library for Coq (algebra) [universe]
2.1.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (math): Mathematical Components library for Coq (algebra) [universe]
2.3.0-1build8: amd64 arm64 ppc64el riscv64 s390x
questing (25.10) (math): Mathematical Components library for Coq (algebra) [universe]
2.3.0-1build12: amd64 arm64 ppc64el riscv64 s390x
resolute (math): Mathematical Components library for Coq (algebra) [universe]
2.3.0-1build16: amd64 arm64 ppc64el riscv64 s390x

Pakket libcoq-mathcomp-algebra-tactics

noble (24.04LTS) (ocaml): Ring and field tactics for Mathematical Components [universe]
1.2.3-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (ocaml): Ring and field tactics for Mathematical Components [universe]
1.2.4-1build1: amd64 arm64 ppc64el riscv64 s390x
questing (25.10) (ocaml): Ring and field tactics for Mathematical Components [universe]
1.2.4-1build5: amd64 arm64 ppc64el riscv64 s390x
resolute (ocaml): Ring and field tactics for Mathematical Components [universe]
1.2.4-1build7: amd64 arm64 ppc64el riscv64 s390x

Pakket libcoq-mathcomp-analysis

jammy (22.04LTS) (ocaml): analysis extension for Mathematical Components [universe]
0.3.13-1: amd64
noble (24.04LTS) (ocaml): analysis extension for Mathematical Components [universe]
1.0.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (ocaml): analysis extension for Mathematical Components [universe]
1.9.0-1: amd64 arm64 ppc64el riscv64 s390x
questing (25.10) (ocaml): analysis extension for Mathematical Components [universe]
1.9.0-1build4: amd64 arm64 ppc64el riscv64 s390x
resolute (ocaml): analysis extension for Mathematical Components [universe]
1.9.0-1build6: amd64 arm64 ppc64el riscv64 s390x

Pakket libcoq-mathcomp-bigenough

jammy (22.04LTS) (ocaml): epsilon - N reasoning for Mathematical Components [universe]
1.0.1-1: amd64
noble (24.04LTS) (ocaml): epsilon - N reasoning for Mathematical Components [universe]
1.0.1-12build5: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (ocaml): epsilon - N reasoning for Mathematical Components [universe]
1.0.2-1build1: amd64 arm64 ppc64el riscv64 s390x
questing (25.10) (ocaml): epsilon - N reasoning for Mathematical Components [universe]
1.0.2-1build5: amd64 arm64 ppc64el riscv64 s390x
resolute (ocaml): epsilon - N reasoning for Mathematical Components [universe]
1.0.2-1build7: amd64 arm64 ppc64el riscv64 s390x

Pakket libcoq-mathcomp-character

jammy (22.04LTS) (math): Mathematical Components library for Coq (character) [universe]
1.14.0-7: all
noble (24.04LTS) (math): Mathematical Components library for Coq (character) [universe]
2.1.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (math): Mathematical Components library for Coq (character) [universe]
2.3.0-1build8: amd64 arm64 ppc64el riscv64 s390x
questing (25.10) (math): Mathematical Components library for Coq (character) [universe]
2.3.0-1build12: amd64 arm64 ppc64el riscv64 s390x
resolute (math): Mathematical Components library for Coq (character) [universe]
2.3.0-1build16: amd64 arm64 ppc64el riscv64 s390x

Pakket libcoq-mathcomp-classical

noble (24.04LTS) (ocaml): classical logic extension for Mathematical Components [universe]
1.0.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (ocaml): classical logic extension for Mathematical Components [universe]
1.9.0-1: amd64 arm64 ppc64el riscv64 s390x
questing (25.10) (ocaml): classical logic extension for Mathematical Components [universe]
1.9.0-1build4: amd64 arm64 ppc64el riscv64 s390x
resolute (ocaml): classical logic extension for Mathematical Components [universe]
1.9.0-1build6: amd64 arm64 ppc64el riscv64 s390x

Pakket libcoq-mathcomp-field

jammy (22.04LTS) (math): Mathematical Components library for Coq (field) [universe]
1.14.0-7: all
noble (24.04LTS) (math): Mathematical Components library for Coq (field) [universe]
2.1.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (math): Mathematical Components library for Coq (field) [universe]
2.3.0-1build8: amd64 arm64 ppc64el riscv64 s390x
questing (25.10) (math): Mathematical Components library for Coq (field) [universe]
2.3.0-1build12: amd64 arm64 ppc64el riscv64 s390x
resolute (math): Mathematical Components library for Coq (field) [universe]
2.3.0-1build16: amd64 arm64 ppc64el riscv64 s390x

Pakket libcoq-mathcomp-fingroup

jammy (22.04LTS) (math): Mathematical Components library for Coq (finite groups) [universe]
1.14.0-7: all
noble (24.04LTS) (math): Mathematical Components library for Coq (finite groups) [universe]
2.1.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (math): Mathematical Components library for Coq (finite groups) [universe]
2.3.0-1build8: amd64 arm64 ppc64el riscv64 s390x
questing (25.10) (math): Mathematical Components library for Coq (finite groups) [universe]
2.3.0-1build12: amd64 arm64 ppc64el riscv64 s390x
resolute (math): Mathematical Components library for Coq (finite groups) [universe]
2.3.0-1build16: amd64 arm64 ppc64el riscv64 s390x

Pakket libcoq-mathcomp-finmap

jammy (22.04LTS) (ocaml): finite sets and maps extension for Mathematical Components [universe]
1.5.1-1: amd64
noble (24.04LTS) (ocaml): finite sets and maps extension for Mathematical Components [universe]
2.0.0-2build5: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (ocaml): finite sets and maps extension for Mathematical Components [universe]
2.1.0-3build5: amd64 arm64 ppc64el riscv64 s390x
questing (25.10) (ocaml): finite sets and maps extension for Mathematical Components [universe]
2.1.0-3build9: amd64 arm64 ppc64el riscv64 s390x
resolute (ocaml): finite sets and maps extension for Mathematical Components [universe]
2.1.0-3build11: amd64 arm64 ppc64el riscv64 s390x

Pakket libcoq-mathcomp-multinomials

noble (24.04LTS) (ocaml): Multivariate polynomials for Mathematical Components [universe]
2.2.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (ocaml): Multivariate polynomials for Mathematical Components [universe]
2.3.0-1build6: amd64 arm64 ppc64el riscv64 s390x
questing (25.10) (ocaml): Multivariate polynomials for Mathematical Components [universe]
2.3.0-1build10: amd64 arm64 ppc64el riscv64 s390x
resolute (ocaml): Multivariate polynomials for Mathematical Components [universe]
2.3.0-1build12: amd64 arm64 ppc64el riscv64 s390x

Pakket libcoq-mathcomp-real-closed

noble (24.04LTS) (ocaml): Real closed fields for Mathematical Components [universe]
2.0.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (ocaml): Real closed fields for Mathematical Components [universe]
2.0.2-1build6: amd64 arm64 ppc64el riscv64 s390x
questing (25.10) (ocaml): Real closed fields for Mathematical Components [universe]
2.0.2-1build10: amd64 arm64 ppc64el riscv64 s390x
resolute (ocaml): Real closed fields for Mathematical Components [universe]
2.0.2-1build13: amd64 arm64 ppc64el riscv64 s390x

Pakket libcoq-mathcomp-solvable

jammy (22.04LTS) (math): Mathematical Components library for Coq (finite groups II) [universe]
1.14.0-7: all
noble (24.04LTS) (math): Mathematical Components library for Coq (finite groups II) [universe]
2.1.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (math): Mathematical Components library for Coq (finite groups II) [universe]
2.3.0-1build8: amd64 arm64 ppc64el riscv64 s390x
questing (25.10) (math): Mathematical Components library for Coq (finite groups II) [universe]
2.3.0-1build12: amd64 arm64 ppc64el riscv64 s390x
resolute (math): Mathematical Components library for Coq (finite groups II) [universe]
2.3.0-1build16: amd64 arm64 ppc64el riscv64 s390x

Pakket libcoq-mathcomp-ssreflect

jammy (22.04LTS) (math): Mathematical Components library for Coq (small scale reflection) [universe]
1.14.0-7: all
noble (24.04LTS) (math): Mathematical Components library for Coq (small scale reflection) [universe]
2.1.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (math): Mathematical Components library for Coq (small scale reflection) [universe]
2.3.0-1build8: amd64 arm64 ppc64el riscv64 s390x
questing (25.10) (math): Mathematical Components library for Coq (small scale reflection) [universe]
2.3.0-1build12: amd64 arm64 ppc64el riscv64 s390x
resolute (math): Mathematical Components library for Coq (small scale reflection) [universe]
2.3.0-1build16: amd64 arm64 ppc64el riscv64 s390x

Pakket libcoq-mathcomp-zify

noble (24.04LTS) (ocaml): Micromega arithmetic solvers for Mathematical Components [universe]
1.5.0+2.0+8.16-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
plucky (25.04) (ocaml): Micromega arithmetic solvers for Mathematical Components [universe]
1.5.0+2.0+8.16-4build5: amd64 arm64 ppc64el riscv64 s390x
questing (25.10) (ocaml): Micromega arithmetic solvers for Mathematical Components [universe]
1.5.0+2.0+8.16-4build9: amd64 arm64 ppc64el riscv64 s390x
resolute (ocaml): Micromega arithmetic solvers for Mathematical Components [universe]
1.5.0+2.0+8.16-4build11: amd64 arm64 ppc64el riscv64 s390x