packages Skip to content

» Ubuntu » Packages » Package Search Results

You have searched for packages that names contain libcoq-mathcomp in all suites, all sections, and all architectures. Found 19 matching packages.

Exact hits

Package 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
• questing (25.10) (math): Mathematical Components library for Coq (all) [universe]
  2.3.0-1build12: amd64 arm64 ppc64el riscv64 s390x
• resolute (26.04LTS) (math): Mathematical Components library for Coq (all) [universe]
  2.3.0-1build19: amd64 arm64 ppc64el riscv64 s390x
• stonking (math): Mathematical Components library for Coq (all) [universe]
  2.6.0-3build2: amd64 arm64 ppc64el riscv64 s390x

Other hits

Package 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
• questing (25.10) (math): Mathematical Components library for Coq (algebra) [universe]
  2.3.0-1build12: amd64 arm64 ppc64el riscv64 s390x
• resolute (26.04LTS) (math): Mathematical Components library for Coq (algebra) [universe]
  2.3.0-1build19: amd64 arm64 ppc64el riscv64 s390x
• stonking (math): Mathematical Components library for Coq (algebra) [universe]
  2.6.0-3build2: amd64 arm64 ppc64el riscv64 s390x

Package 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
• questing (25.10) (ocaml): Ring and field tactics for Mathematical Components [universe]
  1.2.4-1build5: amd64 arm64 ppc64el riscv64 s390x
• resolute (26.04LTS) (ocaml): Ring and field tactics for Mathematical Components [universe]
  1.2.4-1build10: amd64 arm64 ppc64el riscv64 s390x
• stonking (ocaml): Ring and field tactics for Mathematical Components [universe]
  1.2.7-5build1: amd64 arm64 ppc64el riscv64 s390x

Package 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
• questing (25.10) (ocaml): analysis extension for Mathematical Components [universe]
  1.9.0-1build4: amd64 arm64 ppc64el riscv64 s390x
• resolute (26.04LTS) (ocaml): analysis extension for Mathematical Components [universe]
  1.9.0-1build9: amd64 arm64 ppc64el riscv64 s390x
• stonking (ocaml): analysis extension for Mathematical Components [universe]
  1.17.0-1build1: amd64 arm64 ppc64el riscv64 s390x

Package 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
• questing (25.10) (ocaml): epsilon - N reasoning for Mathematical Components [universe]
  1.0.2-1build5: amd64 arm64 ppc64el riscv64 s390x
• resolute (26.04LTS) (ocaml): epsilon - N reasoning for Mathematical Components [universe]
  1.0.2-1build10: amd64 arm64 ppc64el riscv64 s390x
• stonking (ocaml): epsilon - N reasoning for Mathematical Components [universe]
  1.0.4-3build1: amd64 arm64 ppc64el riscv64 s390x

Package libcoq-mathcomp-boot

• stonking (math): Mathematical Components library for Coq (boot) [universe]
  2.6.0-3build2: amd64 arm64 ppc64el riscv64 s390x

Package 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
• questing (25.10) (math): Mathematical Components library for Coq (character) [universe]
  2.3.0-1build12: amd64 arm64 ppc64el riscv64 s390x
• resolute (26.04LTS) (math): Mathematical Components library for Coq (character) [universe]
  2.3.0-1build19: amd64 arm64 ppc64el riscv64 s390x

Package libcoq-mathcomp-classical

• noble (24.04LTS) (ocaml): classical logic extension for Mathematical Components [universe]
  1.0.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (ocaml): classical logic extension for Mathematical Components [universe]
  1.9.0-1build4: amd64 arm64 ppc64el riscv64 s390x
• resolute (26.04LTS) (ocaml): classical logic extension for Mathematical Components [universe]
  1.9.0-1build9: amd64 arm64 ppc64el riscv64 s390x
• stonking (ocaml): classical logic extension for Mathematical Components [universe]
  1.17.0-1build1: amd64 arm64 ppc64el riscv64 s390x

Package 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
• questing (25.10) (math): Mathematical Components library for Coq (field) [universe]
  2.3.0-1build12: amd64 arm64 ppc64el riscv64 s390x
• resolute (26.04LTS) (math): Mathematical Components library for Coq (field) [universe]
  2.3.0-1build19: amd64 arm64 ppc64el riscv64 s390x
• stonking (math): Mathematical Components library for Coq (field) [universe]
  2.6.0-3build2: amd64 arm64 ppc64el riscv64 s390x

Package 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
• questing (25.10) (math): Mathematical Components library for Coq (finite groups) [universe]
  2.3.0-1build12: amd64 arm64 ppc64el riscv64 s390x
• resolute (26.04LTS) (math): Mathematical Components library for Coq (finite groups) [universe]
  2.3.0-1build19: amd64 arm64 ppc64el riscv64 s390x

Package libcoq-mathcomp-finite-group

• stonking (math): Mathematical Components library for Coq (finite groups) [universe]
  2.6.0-3build2: amd64 arm64 ppc64el riscv64 s390x

Package 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
• questing (25.10) (ocaml): finite sets and maps extension for Mathematical Components [universe]
  2.1.0-3build9: amd64 arm64 ppc64el riscv64 s390x
• resolute (26.04LTS) (ocaml): finite sets and maps extension for Mathematical Components [universe]
  2.1.0-3build14: amd64 arm64 ppc64el riscv64 s390x
• stonking (ocaml): finite sets and maps extension for Mathematical Components [universe]
  2.2.4-3build1: amd64 arm64 ppc64el riscv64 s390x

Package libcoq-mathcomp-group-representation

• stonking (math): Mathematical Components library for Coq (group representation) [universe]
  2.6.0-3build2: amd64 arm64 ppc64el riscv64 s390x

Package libcoq-mathcomp-multinomials

• noble (24.04LTS) (ocaml): Multivariate polynomials for Mathematical Components [universe]
  2.2.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (ocaml): Multivariate polynomials for Mathematical Components [universe]
  2.3.0-1build10: amd64 arm64 ppc64el riscv64 s390x
• resolute (26.04LTS) (ocaml): Multivariate polynomials for Mathematical Components [universe]
  2.3.0-1build15: amd64 arm64 ppc64el riscv64 s390x
• stonking (ocaml): Multivariate polynomials for Mathematical Components [universe]
  2.5.0-3build1: amd64 arm64 ppc64el riscv64 s390x

Package libcoq-mathcomp-order

• stonking (math): Mathematical Components library for Coq (order) [universe]
  2.6.0-3build2: amd64 arm64 ppc64el riscv64 s390x

Package 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
• questing (25.10) (ocaml): Real closed fields for Mathematical Components [universe]
  2.0.2-1build10: amd64 arm64 ppc64el riscv64 s390x
• resolute (26.04LTS) (ocaml): Real closed fields for Mathematical Components [universe]
  2.0.2-1build16: amd64 arm64 ppc64el riscv64 s390x
• stonking (ocaml): Real closed fields for Mathematical Components [universe]
  2.0.6-2build1: amd64 arm64 ppc64el riscv64 s390x

Package 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
• questing (25.10) (math): Mathematical Components library for Coq (finite groups II) [universe]
  2.3.0-1build12: amd64 arm64 ppc64el riscv64 s390x
• resolute (26.04LTS) (math): Mathematical Components library for Coq (finite groups II) [universe]
  2.3.0-1build19: amd64 arm64 ppc64el riscv64 s390x
• stonking (math): Mathematical Components library for Coq (finite groups II) [universe]
  2.6.0-3build2: amd64 arm64 ppc64el riscv64 s390x

Package 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
• questing (25.10) (math): Mathematical Components library for Coq (small scale reflection) [universe]
  2.3.0-1build12: amd64 arm64 ppc64el riscv64 s390x
• resolute (26.04LTS) (math): Mathematical Components library for Coq (small scale reflection) [universe]
  2.3.0-1build19: amd64 arm64 ppc64el riscv64 s390x
• stonking (math): Mathematical Components library for Coq (small scale reflection) [universe]
  2.6.0-3build2: amd64 arm64 ppc64el riscv64 s390x

Package 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
• 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 (26.04LTS) (ocaml): Micromega arithmetic solvers for Mathematical Components [universe]
  1.5.0+2.0+8.16-4build14: amd64 arm64 ppc64el riscv64 s390x
• stonking (ocaml): Micromega arithmetic solvers for Mathematical Components [universe]
  1.7.0+2.4+9.0-1build1: amd64 arm64 ppc64el riscv64 s390x