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 packages that names contain z3 in all suites, all sections, and all architectures. Found 35 matching packages.
Exact hits
Package 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 i386 mips64el ppc64el riscv64 s390x
4.8.12-3.1 [debports]: alpha hppa ia64 m68k ppc64 sparc64 x32
Other hits
Package 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
Package 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
Package 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
Package 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 [debports]: alpha amd64 arm64 armel armhf i386 ia64 m68k mips64el ppc64 ppc64el s390x sh4 sparc64 x32
3.3-1+b1 [debports]: hppa
Package 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
Package libgeotranz3.3-dbgsym
- sid (unstable) (debug):
Debug symbols for libgeotranz3.3
3.3-1+b1 [debports]: hppa
Package 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: alpha amd64 arm64 armel armhf i386 ia64 m68k mips64el ppc64 ppc64el s390x sh4 sparc64 x32
Package libgeotranz3.7-dbgsym
- sid (unstable) (debug):
debug symbols for libgeotranz3.7
3.7-3 [debports]: alpha ia64 m68k ppc64 riscv64 sh4 sparc64 x32
Package 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
Package 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+b1: 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
Package 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
Package 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+b1: 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
Package 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
Package 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.1+ds-5: amd64 arm64 armel armhf i386 mips64el ppc64el s390x - sid (unstable) (libs):
math computing tools for affine monoids, rational polytopes and cones - libs
3.10.2+ds-2: amd64 arm64 armel armhf hppa i386 ia64 m68k mips64el ppc64 ppc64el riscv64 s390x sparc64
3.9.3+ds-1 [debports]: sh4
3.8.9+ds-1 [debports]: alpha
3.8.5+ds-1+b2 [debports]: x32
Package libnormaliz3-dbgsym
- sid (unstable) (debug):
debug symbols for libnormaliz3
3.10.2+ds-2 [debports]: hppa ia64 m68k ppc64 sparc64
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
Package libopencv-viz3.2
- buster (oldoldstable) (libs):
computer vision 3D data visualization library
3.2.0+dfsg-6: amd64 arm64 armhf i386
Package 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 - trixie (testing) (libs):
library to perform proteomics data analyses (runtime)
3.0.18342-4+b2: amd64 arm64 armel armhf i386 mips64el ppc64el s390x - sid (unstable) (libs):
library to perform proteomics data analyses (runtime)
3.0.18342-4+b2 [debports]: alpha
3.0.18342-4+b1 [debports]: riscv64
Package libpwiz3-dbgsym
- sid (unstable) (debug):
debug symbols for libpwiz3
3.0.18342-4+b2 [debports]: alpha
3.0.18342-4+b1 [debports]: riscv64
Package libpwiz3t64
- sid (unstable) (libs):
library to perform proteomics data analyses (runtime)
3.0.18342-4.1+b1 [debports]: hppa
3.0.18342-4.1 [debports]: amd64 arm64 armel armhf i386 ia64 m68k mips64el ppc64 ppc64el riscv64 s390x sh4 sparc64 x32
Package libpwiz3t64-dbgsym
- sid (unstable) (debug):
debug symbols for libpwiz3t64
3.0.18342-4.1+b1 [debports]: hppa
3.0.18342-4.1 [debports]: ia64 m68k ppc64 sh4 sparc64 x32
Package librviz3d
- buster (oldoldstable) (libs):
Library for the Robot OS 3D visualization tool
1.13.1+dfsg-1+b3: amd64 arm64 armhf i386
Package 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 i386 mips64el ppc64el riscv64 s390x
4.8.12-3.1 [debports]: alpha hppa ia64 m68k ppc64 sparc64 x32
Package libz3-4-dbgsym
- sid (unstable) (debug):
debug symbols for libz3-4
4.8.12-3.1 [debports]: alpha hppa ia64 m68k ppc64 riscv64 sparc64 x32
Package libz3-cil
- buster (oldoldstable) (cli-mono):
theorem prover from Microsoft Research - CLI bindings
4.4.1-1~deb10u1: amd64 arm64 armhf i386
Package 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 i386 mips64el ppc64el riscv64 s390x
4.8.12-3.1 [debports]: alpha hppa ia64 m68k ppc64 sparc64 x32
Package 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
4.8.12-3.1 [debports]: alpha sparc64 x32
Package 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
4.8.12-3.1 [debports]: alpha sparc64 x32
Package libz3-jni-dbgsym
- sid (unstable) (debug):
debug symbols for libz3-jni
4.8.12-3.1 [debports]: alpha riscv64 sparc64 x32
Package libz3-ocaml-dev
- buster (oldoldstable) (libdevel):
theorem prover from Microsoft Research - OCaml bindings
4.4.1-1~deb10u1: amd64 arm64 armhf i386
Package 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+b1: amd64 arm64 armel armhf i386 mips64el ppc64el 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
Package 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
Package python-z3
- buster (oldoldstable) (python):
theorem prover from Microsoft Research - Python bindings
4.4.1-1~deb10u1: amd64 arm64 armhf i386
Package 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 i386 mips64el ppc64el riscv64 s390x
4.8.12-3.1 [debports]: alpha hppa ia64 m68k ppc64 sparc64 x32
Package z3-dbgsym
- sid (unstable) (debug):
debug symbols for z3
4.8.12-3.1 [debports]: alpha hppa ia64 m68k ppc64 riscv64 sparc64 x32