z3 - 4.8.12-3.1 main

Versions in crimson: 4.8.12-3.1
Maintainer: LLVM Packaging Team <pkg-llvm-team [꩜] lists.alioth.debian.org>
Uploaders:
  • Fabian Wolff <fabi.wolff [꩜] arcor.de>
Format: 3.0 (quilt)
Standards Version: 4.6.0
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

  • python3-z3  amd64  amd64  amd64  arm64  arm64  arm64 
  • libz3-4  amd64  amd64  amd64  arm64  arm64  arm64 
  • libz3-java  amd64  amd64  amd64  arm64  arm64  arm64 
  • libz3-dev  amd64  amd64  amd64  arm64  arm64  arm64 
  • libz3-jni  amd64  amd64  amd64  arm64  arm64  arm64 
  • z3  amd64  amd64  amd64  arm64  arm64  arm64 

Build Dependencies

Files

Filename Size Checksum (SHA256)
z3_4.8.12-3.1.dsc 2.7 kB 0e5db5248212a72d3dc3fe99873181161649ff03d89de726bbe6f57604488008
z3_4.8.12.orig.tar.gz 4.8 MB e3aaefde68b839299cbc988178529535e66048398f7d083b40c69fe0da55f8b7
z3_4.8.12-3.1.debian.tar.xz 10.4 kB 5bb616648de1d82f5563377e1640e59dd653b6beac3b6513358362e5dbd925fb