navigatie overslaan

Packages

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

 / Pakketten / Package Search Results

Limit to suite: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]

Limit to a architecture: [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]

You have searched for pakketten that names contain z3 in alle suites, alle secties, and alle platforms. Found 35 matching packages.

Exacte resultaten

Pakket z3

• buster (oldoldstable) (science): theorem prover from Microsoft Research
  4.4.1-1~deb10u1: amd64 arm64 armhf i386
• bullseye (oldstable) (science): theorem prover from Microsoft Research
  4.8.10-1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• bookworm (stable) (science): theorem prover from Microsoft Research
  4.8.12-3.1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• trixie (testing) (science): theorem prover from Microsoft Research
  4.8.12-3.1+b2: amd64 arm64 armel armhf i386 mips64el ppc64el s390x
• sid (unstable) (science): theorem prover from Microsoft Research
  4.8.12-3.1+b2: amd64 arm64 armel armhf hppa i386 m68k mips64el ppc64 ppc64el riscv64 s390x sparc64 x32
  4.8.12-3.1 [debports]: alpha ia64

Overige resultaten

Pakket libcatmandu-z3950-perl

• bookworm (stable) (perl): Catmandu module for working with Z3950 data
  0.06-2: all
• trixie (testing) (perl): Catmandu module for working with Z3950 data
  0.06-2: all
• sid (unstable) (perl): Catmandu module for working with Z3950 data
  0.06-2: all

Pakket libdate-tz3

• bullseye-backports (libs): date and time library based on the C++ <chrono> header
  3.0.1+ds-3~bpo11+1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• bookworm (stable) (libs): date and time library based on the C++ <chrono> header
  3.0.1+ds-5: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• trixie (testing) (libs): date and time library based on the C++ <chrono> header
  3.0.1+ds-5+b1: amd64 arm64 armel armhf i386 mips64el ppc64el s390x
• sid (unstable) (libs): date and time library based on the C++ <chrono> header
  3.0.1+ds-5+b1: amd64 arm64 armel armhf i386 mips64el ppc64el riscv64 s390x
  3.0.1+ds-5 [debports]: alpha hppa ia64 m68k ppc64 sh4 sparc64 x32

Pakket libdate-tz3-dbgsym

• sid (unstable) (debug): debug symbols for libdate-tz3
  3.0.1+ds-5 [debports]: alpha hppa ia64 m68k ppc64 riscv64 sh4 sparc64 x32

Pakket libgeotranz3-dev

• buster (oldoldstable) (libdevel): GEOgraphic coordinates TRANslator (development files)
  3.3-2: amd64 arm64 armhf i386
• bullseye (oldstable) (libdevel): GEOgraphic coordinates TRANslator (development files)
  3.7-1.1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• bookworm (stable) (libdevel): GEOgraphic coordinates TRANslator (development files)
  3.7-3: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• trixie (testing) (libdevel): GEOgraphic coordinates TRANslator (development files)
  3.7-3: amd64 arm64 armel armhf i386 mips64el ppc64el s390x
• sid (unstable) (libdevel): GEOgraphic coordinates TRANslator (development files)
  3.7-3+b1: riscv64
  3.7-3: alpha amd64 arm64 armel armhf i386 ia64 m68k mips64el ppc64 ppc64el s390x sh4 sparc64 x32
  3.3-1+b1 [debports]: hppa

Pakket libgeotranz3.3

• buster (oldoldstable) (libs): GEOgraphic coordinates TRANslator (runtime library)
  3.3-2: amd64 arm64 armhf i386
• sid (unstable) (libs): GEOgraphic coordinates TRANslator (runtime library)
  3.3-1+b1 [debports]: hppa

Pakket libgeotranz3.3-dbgsym

• sid (unstable) (debug): Debug symbols for libgeotranz3.3
  3.3-1+b1 [debports]: hppa

Pakket libgeotranz3.7

• bullseye (oldstable) (libs): GEOgraphic coordinates TRANslator (runtime library)
  3.7-1.1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• bookworm (stable) (libs): GEOgraphic coordinates TRANslator (runtime library)
  3.7-3: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• trixie (testing) (libs): GEOgraphic coordinates TRANslator (runtime library)
  3.7-3: amd64 arm64 armel armhf i386 mips64el ppc64el s390x
• sid (unstable) (libs): GEOgraphic coordinates TRANslator (runtime library)
  3.7-3+b1: riscv64
  3.7-3 [debports]: alpha amd64 arm64 armel armhf i386 ia64 m68k mips64el ppc64 ppc64el s390x sh4 sparc64 x32

Pakket libgeotranz3.7-dbgsym

• sid (unstable) (debug): debug symbols for libgeotranz3.7
  3.7-3 [debports]: alpha ia64 m68k ppc64 riscv64 sh4 sparc64 x32

Pakket libnet-z3950-simple2zoom-perl

• buster (oldoldstable) (perl): gateway between Z39.50 and SRU/SRW
  1.04-1: all
• bullseye (oldstable) (perl): gateway between Z39.50 and SRU/SRW
  1.04-1.1: all
• bookworm (stable) (perl): gateway between Z39.50 and SRU/SRW
  1.04-1.1: all
• trixie (testing) (perl): gateway between Z39.50 and SRU/SRW
  1.04-1.1: all
• sid (unstable) (perl): gateway between Z39.50 and SRU/SRW
  1.04-1.1: all

Pakket libnet-z3950-simpleserver-perl

• buster (oldoldstable) (perl): simple perl API for building Z39.50 servers
  1.21-1: amd64 arm64 armhf i386
• bullseye (oldstable) (perl): simple perl API for building Z39.50 servers
  1.21-2+b1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• bookworm (stable) (perl): simple perl API for building Z39.50 servers
  1.21-3: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• trixie (testing) (perl): simple perl API for building Z39.50 servers
  1.21-3+b2: amd64 arm64 armel armhf i386 mips64el ppc64el s390x
• sid (unstable) (perl): simple perl API for building Z39.50 servers
  1.21-3+b2: alpha amd64 arm64 armel armhf hppa i386 ia64 m68k mips64el ppc64 ppc64el riscv64 s390x sh4 sparc64 x32

Pakket libnet-z3950-simpleserver-perl-dbgsym

• sid (unstable) (debug): debug symbols for libnet-z3950-simpleserver-perl
  1.21-3+b2 [debports]: alpha hppa ia64 m68k ppc64 sh4 sparc64 x32
  1.21-3 [debports]: riscv64

Pakket libnet-z3950-zoom-perl

• buster (oldoldstable) (perl): Perl extension implementing the ZOOM API for Information Retrieval via Z39.50
  1.30-2+b1: amd64 arm64 armhf i386
• bullseye (oldstable) (perl): Perl extension implementing the ZOOM API for Information Retrieval via Z39.50
  1.30-3+b1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• bookworm (stable) (perl): Perl extension implementing the ZOOM API for Information Retrieval via Z39.50
  1.30-4: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• trixie (testing) (perl): Perl extension implementing the ZOOM API for Information Retrieval via Z39.50
  1.30-4+b2: amd64 arm64 armel armhf i386 mips64el ppc64el s390x
• sid (unstable) (perl): Perl extension implementing the ZOOM API for Information Retrieval via Z39.50
  1.30-4+b2: alpha amd64 arm64 armel armhf hppa i386 ia64 m68k mips64el ppc64 ppc64el riscv64 s390x sh4 sparc64 x32

Pakket libnet-z3950-zoom-perl-dbgsym

• sid (unstable) (debug): debug symbols for libnet-z3950-zoom-perl
  1.30-4+b2 [debports]: alpha hppa ia64 m68k ppc64 sh4 sparc64 x32
  1.30-4 [debports]: riscv64

Pakket libnormaliz3

• buster (oldoldstable) (libs): math computing tools for affine monoids, rational polytopes and cones - libs
  3.6.3+ds-1: amd64 arm64 armhf i386
• bullseye (oldstable) (libs): math computing tools for affine monoids, rational polytopes and cones - libs
  3.8.9+ds-0.1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• bookworm (stable) (libs): math computing tools for affine monoids, rational polytopes and cones - libs
  3.9.4+ds-2: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• trixie (testing) (libs): math computing tools for affine monoids, rational polytopes and cones - libs
  3.10.3+ds-1: amd64 arm64 armel armhf i386 mips64el ppc64el riscv64 s390x
• sid (unstable) (libs): math computing tools for affine monoids, rational polytopes and cones - libs
  3.10.3+ds-1: amd64 arm64 armel armhf hppa i386 m68k mips64el ppc64 ppc64el riscv64 s390x sparc64
  3.10.2+ds-2 [debports]: ia64
  3.9.3+ds-1 [debports]: sh4
  3.8.9+ds-1 [debports]: alpha
  3.8.5+ds-1+b2 [debports]: x32

Pakket libnormaliz3-dbgsym

• sid (unstable) (debug): debug symbols for libnormaliz3
  3.10.3+ds-1 [debports]: hppa m68k ppc64 sparc64
  3.10.2+ds-2 [debports]: ia64
  3.10.1+ds-2 [debports]: riscv64
  3.9.3+ds-1 [debports]: sh4
  3.8.9+ds-1 [debports]: alpha
  3.8.5+ds-1+b2 [debports]: x32

Pakket libopencv-viz3.2

• buster (oldoldstable) (libs): computer vision 3D data visualization library
  3.2.0+dfsg-6: amd64 arm64 armhf i386

Pakket libpwiz3

• buster (oldoldstable) (libs): library to perform proteomics data analyses (runtime)
  3.0.18342-2: amd64 arm64 armhf i386
• bullseye (oldstable) (libs): library to perform proteomics data analyses (runtime)
  3.0.18342-4+b1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• bookworm (stable) (libs): library to perform proteomics data analyses (runtime)
  3.0.18342-4+b1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• sid (unstable) (libs): library to perform proteomics data analyses (runtime)
  3.0.18342-4+b1 [debports]: riscv64

Pakket libpwiz3-dbgsym

• sid (unstable) (debug): debug symbols for libpwiz3
  3.0.18342-4+b1 [debports]: riscv64

Pakket libpwiz3t64

• trixie (testing) (libs): library to perform proteomics data analyses (runtime)
  3.0.18342-4.1: amd64 arm64 armel armhf i386 mips64el ppc64el s390x
• sid (unstable) (libs): library to perform proteomics data analyses (runtime)
  3.0.18342-4.1+b1 [debports]: hppa m68k sh4
  3.0.18342-4.1: alpha amd64 arm64 armel armhf i386 ia64 mips64el ppc64 ppc64el riscv64 s390x sparc64 x32

Pakket libpwiz3t64-dbgsym

• sid (unstable) (debug): debug symbols for libpwiz3t64
  3.0.18342-4.1+b1 [debports]: hppa m68k sh4
  3.0.18342-4.1 [debports]: alpha ia64 ppc64 sparc64 x32

Pakket librviz3d

• buster (oldoldstable) (libs): Library for the Robot OS 3D visualization tool
  1.13.1+dfsg-1+b3: amd64 arm64 armhf i386

Pakket libz3-4

• buster (oldoldstable) (libs): theorem prover from Microsoft Research - runtime libraries
  4.4.1-1~deb10u1: amd64 arm64 armhf i386
• bullseye (oldstable) (libs): theorem prover from Microsoft Research - runtime libraries
  4.8.10-1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• bookworm (stable) (libs): theorem prover from Microsoft Research - runtime libraries
  4.8.12-3.1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• trixie (testing) (libs): theorem prover from Microsoft Research - runtime libraries
  4.8.12-3.1+b2: amd64 arm64 armel armhf i386 mips64el ppc64el s390x
• sid (unstable) (libs): theorem prover from Microsoft Research - runtime libraries
  4.8.12-3.1+b2: amd64 arm64 armel armhf hppa i386 m68k mips64el ppc64 ppc64el riscv64 s390x sparc64 x32
  4.8.12-3.1 [debports]: alpha ia64

Pakket libz3-4-dbgsym

• sid (unstable) (debug): debug symbols for libz3-4
  4.8.12-3.1+b2 [debports]: hppa m68k ppc64 sparc64 x32
  4.8.12-3.1 [debports]: alpha ia64 riscv64

Pakket libz3-cil

• buster (oldoldstable) (cli-mono): theorem prover from Microsoft Research - CLI bindings
  4.4.1-1~deb10u1: amd64 arm64 armhf i386

Pakket libz3-dev

• buster (oldoldstable) (libdevel): theorem prover from Microsoft Research - development files
  4.4.1-1~deb10u1: amd64 arm64 armhf i386
• bullseye (oldstable) (libdevel): theorem prover from Microsoft Research - development files
  4.8.10-1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• bookworm (stable) (libdevel): theorem prover from Microsoft Research - development files
  4.8.12-3.1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• trixie (testing) (libdevel): theorem prover from Microsoft Research - development files
  4.8.12-3.1+b2: amd64 arm64 armel armhf i386 mips64el ppc64el s390x
• sid (unstable) (libdevel): theorem prover from Microsoft Research - development files
  4.8.12-3.1+b2: amd64 arm64 armel armhf hppa i386 m68k mips64el ppc64 ppc64el riscv64 s390x sparc64 x32
  4.8.12-3.1 [debports]: alpha ia64

Pakket libz3-java

• buster (oldoldstable) (java): theorem prover from Microsoft Research - java bindings
  4.4.1-1~deb10u1: amd64 arm64 armhf i386
• bullseye (oldstable) (java): theorem prover from Microsoft Research - java bindings
  4.8.10-1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• bookworm (stable) (java): theorem prover from Microsoft Research - java bindings
  4.8.12-3.1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• trixie (testing) (java): theorem prover from Microsoft Research - java bindings
  4.8.12-3.1+b2: amd64 arm64 armel armhf i386 mips64el ppc64el s390x
• sid (unstable) (java): theorem prover from Microsoft Research - java bindings
  4.8.12-3.1+b2: amd64 arm64 armel armhf i386 mips64el ppc64el riscv64 s390x sparc64 x32
  4.8.12-3.1 [debports]: alpha

Pakket libz3-jni

• buster (oldoldstable) (java): theorem prover from Microsoft Research - JNI library
  4.4.1-1~deb10u1: amd64 arm64 armhf i386
• bullseye (oldstable) (java): theorem prover from Microsoft Research - JNI library
  4.8.10-1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• bookworm (stable) (java): theorem prover from Microsoft Research - JNI library
  4.8.12-3.1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• trixie (testing) (java): theorem prover from Microsoft Research - JNI library
  4.8.12-3.1+b2: amd64 arm64 armel armhf i386 mips64el ppc64el s390x
• sid (unstable) (java): theorem prover from Microsoft Research - JNI library
  4.8.12-3.1+b2: amd64 arm64 armel armhf i386 mips64el ppc64el riscv64 s390x sparc64 x32
  4.8.12-3.1 [debports]: alpha

Pakket libz3-jni-dbgsym

• sid (unstable) (debug): debug symbols for libz3-jni
  4.8.12-3.1+b2 [debports]: sparc64 x32
  4.8.12-3.1 [debports]: alpha riscv64

Pakket libz3-ocaml-dev

• buster (oldoldstable) (libdevel): theorem prover from Microsoft Research - OCaml bindings
  4.4.1-1~deb10u1: amd64 arm64 armhf i386

Pakket libznz3

• bullseye (oldstable) (libs): low-level IO library znzlib for the NIfTI-1 data format
  3.0.1-8: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• bookworm (stable) (libs): low-level IO library znzlib for the NIfTI-1 data format
  3.0.1-9: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• trixie (testing) (libs): low-level IO library znzlib for the NIfTI-1 data format
  3.0.1-9.1: amd64 arm64 armel armhf i386 mips64el ppc64el riscv64 s390x
• sid (unstable) (libs): low-level IO library znzlib for the NIfTI-1 data format
  3.0.1-9.1: alpha amd64 arm64 armel armhf hppa i386 ia64 m68k mips64el ppc64 ppc64el riscv64 s390x sh4 x32
  3.0.1-7 [debports]: sparc64

Pakket libznz3-dbgsym

• sid (unstable) (debug): debug symbols for libznz3
  3.0.1-9.1 [debports]: alpha hppa ia64 m68k ppc64 sh4 x32
  3.0.1-9 [debports]: riscv64
  3.0.1-7 [debports]: sparc64

Pakket python-z3

• buster (oldoldstable) (python): theorem prover from Microsoft Research - Python bindings
  4.4.1-1~deb10u1: amd64 arm64 armhf i386

Pakket python3-z3

• bullseye (oldstable) (python): theorem prover from Microsoft Research - Python 3 bindings
  4.8.10-1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• bookworm (stable) (python): theorem prover from Microsoft Research - Python 3 bindings
  4.8.12-3.1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x
• trixie (testing) (python): theorem prover from Microsoft Research - Python 3 bindings
  4.8.12-3.1+b2: amd64 arm64 armel armhf i386 mips64el ppc64el s390x
• sid (unstable) (python): theorem prover from Microsoft Research - Python 3 bindings
  4.8.12-3.1+b2: amd64 arm64 armel armhf hppa i386 m68k mips64el ppc64 ppc64el riscv64 s390x sparc64 x32
  4.8.12-3.1 [debports]: alpha ia64

Pakket z3-dbgsym

• sid (unstable) (debug): debug symbols for z3
  4.8.12-3.1+b2 [debports]: hppa m68k ppc64 sparc64 x32
  4.8.12-3.1 [debports]: alpha ia64 riscv64