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]
z3 を名前に含むパッケージを、すべてのスイート、すべてのセクション、すべてのアーキテクチャで検索しました。 35 個の一致するパッケージが見つかりました。
完全なヒット
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
その他のヒット
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
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
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
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
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
libgeotranz3.3-dbgsym パッケージ
- sid (unstable) (debug):
Debug symbols for libgeotranz3.3
3.3-1+b1 [debports]: hppa
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
libgeotranz3.7-dbgsym パッケージ
- sid (unstable) (debug):
debug symbols for libgeotranz3.7
3.7-3 [debports]: alpha ia64 m68k ppc64 riscv64 sh4 sparc64 x32
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
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
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
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
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
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
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
libopencv-viz3.2 パッケージ
- buster (oldoldstable) (libs):
computer vision 3D data visualization library
3.2.0+dfsg-6: amd64 arm64 armhf i386
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
libpwiz3-dbgsym パッケージ
- sid (unstable) (debug):
debug symbols for libpwiz3
3.0.18342-4+b1 [debports]: riscv64
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
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
librviz3d パッケージ
- buster (oldoldstable) (libs):
Library for the Robot OS 3D visualization tool
1.13.1+dfsg-1+b3: amd64 arm64 armhf i386
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
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
libz3-cil パッケージ
- buster (oldoldstable) (cli-mono):
theorem prover from Microsoft Research - CLI bindings
4.4.1-1~deb10u1: amd64 arm64 armhf i386
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
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
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
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
libz3-ocaml-dev パッケージ
- buster (oldoldstable) (libdevel):
theorem prover from Microsoft Research - OCaml bindings
4.4.1-1~deb10u1: amd64 arm64 armhf i386
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
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
python-z3 パッケージ
- buster (oldoldstable) (python):
theorem prover from Microsoft Research - Python bindings
4.4.1-1~deb10u1: amd64 arm64 armhf i386
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
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