gezinmeyi atla

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

 / Paketler / Paket Arama Sonuçları

Şu takıma sınırla: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]

Mimariye sınırla: [alpha] [amd64] [arm] [arm64] [armel] [armhf] [avr32] [hppa] [hurd-i386] [i386] [ia64] [kfreebsd-amd64] [kfreebsd-i386] [m68k] [mips] [mips64el] [mipsel] [powerpc] [powerpcspe] [ppc64] [ppc64el] [riscv64] [s390] [s390x] [sh4] [sparc] [sparc64] [x32]

tüm takımlar takımının tüm bölümler bölümlerinde ve tüm mimariler mimarilerinde, libcoq-mathcomp sözünü barındıran paketler aradınız 16 eşleşen paket bulundu.

Tam eşleşmeler

libcoq-mathcomp Paketi

• bookworm (stable) (math): Mathematical Components library for Coq (all)
  1.15.0-1+b4: amd64 arm64 armhf i386 ppc64el s390x
• trixie (testing) (math): Mathematical Components library for Coq (all)
  2.1.0-1+b1: amd64 arm64 armhf i386 ppc64el s390x
• sid (unstable) (math): Mathematical Components library for Coq (all)
  2.1.0-1+b2: amd64 arm64 armhf i386 ppc64el riscv64 s390x
  1.17.0-1+b1 [debports]: ppc64

Diğer eşleşmeler

libcoq-mathcomp-abel Paketi

• bookworm (stable) (ocaml): Abel-Galois and Abel-Ruffini theorems for Mathematical Components
  1.2.1-1+b5: amd64
  1.2.1-1+b3: arm64 armhf i386 ppc64el s390x
• sid (unstable) (ocaml): Abel-Galois and Abel-Ruffini theorems for Mathematical Components
  1.2.1-2+b1 [debports]: riscv64

libcoq-mathcomp-algebra Paketi

• bookworm (stable) (math): Mathematical Components library for Coq (algebra)
  1.15.0-1+b4: amd64 arm64 armhf i386 ppc64el s390x
• trixie (testing) (math): Mathematical Components library for Coq (algebra)
  2.1.0-1+b1: amd64 arm64 armhf i386 ppc64el s390x
• sid (unstable) (math): Mathematical Components library for Coq (algebra)
  2.1.0-1+b2: amd64 arm64 armhf i386 ppc64el riscv64 s390x
  1.17.0-1+b1 [debports]: ppc64

libcoq-mathcomp-algebra-tactics Paketi

• bookworm (stable) (ocaml): Ring and field tactics for Mathematical Components
  1.0.0-8+b6: amd64 arm64 i386 ppc64el
• trixie (testing) (ocaml): Ring and field tactics for Mathematical Components
  1.2.3-1+b1: amd64 arm64 armhf i386 ppc64el s390x
• sid (unstable) (ocaml): Ring and field tactics for Mathematical Components
  1.2.3-1+b2: amd64 arm64 armhf i386 ppc64el riscv64 s390x
  1.1.1-2+b7 [debports]: ppc64

libcoq-mathcomp-analysis Paketi

• bookworm (stable) (ocaml): analysis extension for Mathematical Components
  0.6.0-2+b1: amd64 arm64 i386 ppc64el
• trixie (testing) (ocaml): analysis extension for Mathematical Components
  1.0.0-1+b1: amd64 arm64 armhf i386 ppc64el s390x
• sid (unstable) (ocaml): analysis extension for Mathematical Components
  1.0.0-1+b2: amd64 arm64 armhf i386 ppc64el riscv64 s390x
  0.6.4-3+b1 [debports]: ppc64

libcoq-mathcomp-bigenough Paketi

• bookworm (stable) (ocaml): epsilon - N reasoning for Mathematical Components
  1.0.1-8+b4: amd64 arm64 armhf i386 ppc64el s390x
• trixie (testing) (ocaml): epsilon - N reasoning for Mathematical Components
  1.0.1-12+b1: amd64 arm64 armhf i386 ppc64el s390x
• sid (unstable) (ocaml): epsilon - N reasoning for Mathematical Components
  1.0.1-12+b2: amd64 arm64 armhf i386 ppc64el riscv64 s390x
  1.0.1-10 [debports]: ppc64

libcoq-mathcomp-character Paketi

• bookworm (stable) (math): Mathematical Components library for Coq (character)
  1.15.0-1+b4: amd64 arm64 armhf i386 ppc64el s390x
• trixie (testing) (math): Mathematical Components library for Coq (character)
  2.1.0-1+b1: amd64 arm64 armhf i386 ppc64el s390x
• sid (unstable) (math): Mathematical Components library for Coq (character)
  2.1.0-1+b2: amd64 arm64 armhf i386 ppc64el riscv64 s390x
  1.17.0-1+b1 [debports]: ppc64

libcoq-mathcomp-classical Paketi

• trixie (testing) (ocaml): classical logic extension for Mathematical Components
  1.0.0-1+b1: amd64 arm64 armhf i386 ppc64el s390x
• sid (unstable) (ocaml): classical logic extension for Mathematical Components
  1.0.0-1+b2: amd64 arm64 armhf i386 ppc64el riscv64 s390x
  0.6.4-3+b1 [debports]: ppc64

libcoq-mathcomp-field Paketi

• bookworm (stable) (math): Mathematical Components library for Coq (field)
  1.15.0-1+b4: amd64 arm64 armhf i386 ppc64el s390x
• trixie (testing) (math): Mathematical Components library for Coq (field)
  2.1.0-1+b1: amd64 arm64 armhf i386 ppc64el s390x
• sid (unstable) (math): Mathematical Components library for Coq (field)
  2.1.0-1+b2: amd64 arm64 armhf i386 ppc64el riscv64 s390x
  1.17.0-1+b1 [debports]: ppc64

libcoq-mathcomp-fingroup Paketi

• bookworm (stable) (math): Mathematical Components library for Coq (finite groups)
  1.15.0-1+b4: amd64 arm64 armhf i386 ppc64el s390x
• trixie (testing) (math): Mathematical Components library for Coq (finite groups)
  2.1.0-1+b1: amd64 arm64 armhf i386 ppc64el s390x
• sid (unstable) (math): Mathematical Components library for Coq (finite groups)
  2.1.0-1+b2: amd64 arm64 armhf i386 ppc64el riscv64 s390x
  1.17.0-1+b1 [debports]: ppc64

libcoq-mathcomp-finmap Paketi

• bookworm (stable) (ocaml): finite sets and maps extension for Mathematical Components
  1.5.2-1+b4: amd64 arm64 armhf i386 ppc64el s390x
• trixie (testing) (ocaml): finite sets and maps extension for Mathematical Components
  2.0.0-2+b1: amd64 arm64 armhf i386 ppc64el s390x
• sid (unstable) (ocaml): finite sets and maps extension for Mathematical Components
  2.0.0-2+b2: amd64 arm64 armhf i386 ppc64el riscv64 s390x
  1.5.2-3 [debports]: ppc64

libcoq-mathcomp-multinomials Paketi

• bookworm (stable) (ocaml): Multivariate polynomials for Mathematical Components
  1.5.5-8+b5: amd64 arm64 armhf i386 ppc64el s390x
• trixie (testing) (ocaml): Multivariate polynomials for Mathematical Components
  2.2.0-1+b1: amd64 arm64 armhf i386 ppc64el s390x
• sid (unstable) (ocaml): Multivariate polynomials for Mathematical Components
  2.2.0-1+b2: amd64 arm64 armhf i386 ppc64el riscv64 s390x
  1.6.0-3+b1 [debports]: ppc64

libcoq-mathcomp-real-closed Paketi

• bookworm (stable) (ocaml): Real closed fields for Mathematical Components
  1.1.3-1+b4: amd64 arm64 armhf i386 ppc64el s390x
• trixie (testing) (ocaml): Real closed fields for Mathematical Components
  2.0.0-1+b1: amd64 arm64 armhf i386 ppc64el s390x
• sid (unstable) (ocaml): Real closed fields for Mathematical Components
  2.0.0-1+b2: amd64 arm64 armhf i386 ppc64el riscv64 s390x
  1.1.4-2 [debports]: ppc64

libcoq-mathcomp-solvable Paketi

• bookworm (stable) (math): Mathematical Components library for Coq (finite groups II)
  1.15.0-1+b4: amd64 arm64 armhf i386 ppc64el s390x
• trixie (testing) (math): Mathematical Components library for Coq (finite groups II)
  2.1.0-1+b1: amd64 arm64 armhf i386 ppc64el s390x
• sid (unstable) (math): Mathematical Components library for Coq (finite groups II)
  2.1.0-1+b2: amd64 arm64 armhf i386 ppc64el riscv64 s390x
  1.17.0-1+b1 [debports]: ppc64

libcoq-mathcomp-ssreflect Paketi

• bookworm (stable) (math): Mathematical Components library for Coq (small scale reflection)
  1.15.0-1+b4: amd64 arm64 armhf i386 ppc64el s390x
• trixie (testing) (math): Mathematical Components library for Coq (small scale reflection)
  2.1.0-1+b1: amd64 arm64 armhf i386 ppc64el s390x
• sid (unstable) (math): Mathematical Components library for Coq (small scale reflection)
  2.1.0-1+b2: amd64 arm64 armhf i386 ppc64el riscv64 s390x
  1.17.0-1+b1 [debports]: ppc64

libcoq-mathcomp-zify Paketi

• bookworm (stable) (ocaml): Micromega arithmetic solvers for Mathematical Components
  1.2.0+1.12+8.13-6+b4: amd64 arm64 armhf i386 ppc64el s390x
• trixie (testing) (ocaml): Micromega arithmetic solvers for Mathematical Components
  1.5.0+2.0+8.16-1+b1: amd64 arm64 armhf i386 ppc64el s390x
• sid (unstable) (ocaml): Micromega arithmetic solvers for Mathematical Components
  1.5.0+2.0+8.16-1+b2: amd64 arm64 armhf i386 ppc64el riscv64 s390x
  1.3.0+1.12+8.13-1+b1 [debports]: ppc64