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]
Du har sökt efter paket vars namn innehåller z3 i alla sviter, alla sektioner och alla arkitekturer. Hittade 35 paket.
Exakta träffar
Paketet 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
Andra träffar
Paketet 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
Paketet 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
Paketet 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
Paketet 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
Paketet 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
Paketet libgeotranz3.3-dbgsym
- sid (unstable) (debug):
Debug symbols for libgeotranz3.3
3.3-1+b1 [debports]: hppa
Paketet 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
Paketet libgeotranz3.7-dbgsym
- sid (unstable) (debug):
debug symbols for libgeotranz3.7
3.7-3 [debports]: alpha ia64 m68k ppc64 riscv64 sh4 sparc64 x32
Paketet 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
Paketet 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
Paketet 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
Paketet 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
Paketet 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
Paketet 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
Paketet 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
Paketet libopencv-viz3.2
- buster (oldoldstable) (libs):
computer vision 3D data visualization library
3.2.0+dfsg-6: amd64 arm64 armhf i386
Paketet 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
Paketet libpwiz3-dbgsym
- sid (unstable) (debug):
debug symbols for libpwiz3
3.0.18342-4+b1 [debports]: riscv64
Paketet 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 [debports]: alpha amd64 arm64 armel armhf i386 ia64 mips64el ppc64 ppc64el riscv64 s390x sparc64 x32
Paketet 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
Paketet librviz3d
- buster (oldoldstable) (libs):
Library for the Robot OS 3D visualization tool
1.13.1+dfsg-1+b3: amd64 arm64 armhf i386
Paketet 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
Paketet 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
Paketet libz3-cil
- buster (oldoldstable) (cli-mono):
theorem prover from Microsoft Research - CLI bindings
4.4.1-1~deb10u1: amd64 arm64 armhf i386
Paketet 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
Paketet 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
Paketet 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
Paketet 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
Paketet libz3-ocaml-dev
- buster (oldoldstable) (libdevel):
theorem prover from Microsoft Research - OCaml bindings
4.4.1-1~deb10u1: amd64 arm64 armhf i386
Paketet 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
Paketet 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
Paketet python-z3
- buster (oldoldstable) (python):
theorem prover from Microsoft Research - Python bindings
4.4.1-1~deb10u1: amd64 arm64 armhf i386
Paketet 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
Paketet 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