Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 12 May 2019 03:41:41 +0000
Build-Path
/build/z3-4.4.1

First submitted
Sun, 8 Apr 2018 23:25:09 +0000
SHA1 of .buildinfo
9db21bdd6b9664981c274a8de3d4787d9efced64

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: 90bd7ef5dce2640774ce691e514b3f2dbdf321f0
SHA256: 6389509b6bcf1527c7213652409ba369695c3f1b9d9c489a8d868e1f190a62bd

Size: 4,701,384 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: ada55f5e9afd5c467bf6e429070c4fbda92c78fc
SHA256: 754ff2a2a05d3ea87f707ddd7ac03e195b6e5dd6df0d6fdea378b3a06ac4d21a

Size: 40,688 bytes
libz3-dev (libz3-dev_4.4.1-0.3_arm64.deb)
SHA1: ec694fa86d5da892861522f22e3dfb9165066e3c
SHA256: a2fce585b238854e196a00f7ed047e4689c24c1cc4c1092e857f9e8515b5e06d

Size: 79,244 bytes
libz3-java (libz3-java_4.4.1-0.3_arm64.deb)
SHA1: 3f6fb06e8196b87071027876c234b944f0d93383
SHA256: 2231dc4764a0f62b9dcde0236790628d4fd9d6e77673c2501259bcb20741a8fd

Size: 145,808 bytes
libz3-jni (libz3-jni_4.4.1-0.3_arm64.deb)
SHA1: 3ddc65a7ae2d95806ad7df641bd10406d692702c
SHA256: 8b7aa93d5c0d0bd6afda0dfd72e1b0137c3789ede2aafb6a05b3796a52515b11

Size: 29,840 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: 2e9aa83a8c913bcc42cc0845b277a268ac9f1368
SHA256: 4f5396dba76ff0007835fd3d9ee4e07b604d92619ff81110a825ff7295990cbc

Size: 501,336 bytes
python-z3 (python-z3_4.4.1-0.3_arm64.deb)
SHA1: 446b60d501027a1b515f9f23d8dc2b0bed5df385
SHA256: 61404638385024d742421f54252122e4f394bd46986a7551c559a33f01f25b6c

Size: 67,000 bytes
z3 (z3_4.4.1-0.3_arm64.deb)
SHA1: 0e9a98f66ed99c1343f6cabb8ed5b7c48dcf278d
SHA256: f88fa91688e2c8f5e1e4f4a2e5fb1c5a73cc0f9490dced8e91074e908ea12724

Size: 4,708,040 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 0e6e99e0dee46a243005ee2c0c3abeb7f677975e
Size: 77,289,944 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 2c2c1496d1fdfd4f271fe4d26f75a3a4460d4ea7
Size: 188,212 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 90016f57a3d6fa8b5a7183ef7ee45690bdbbcc4f
Size: 139,532 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 64fa73db8158fb5e93e1df0140f8922edadd8611
Size: 76,773,400 bytes

Submissions

Submitted
Sun, 8 Apr 2018 23:25:09 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"