Source
z3
Version
4.8.9-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 8 Jan 2022 00:43:59 +0000
Build-Path
/build/1st/z3-4.8.9

First submitted
Sat, 5 Dec 2020 19:44:23 +0000
SHA1 of .buildinfo
bfb77cf2c599d1407fd87bfd2447215574623125

Binaries

libz3-4 (libz3-4_4.8.9-1_arm64.deb)
SHA1: bc16781929ca093378d97f5299d7495e03bc83b2
SHA256: 44e7ab61505aa3fb13cad4356508faf13a53f82dd98973782641f6ecf3ce9abf

Size: 5,971,716 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.9-1_arm64.deb)
SHA1: d3c38b9ccdfc3830f81ac291e6a04c4b43731c0a
SHA256: dc28f75bbd16cc5a19306365bda83a9abfb7e63e131bcaf8d78b65bcbbc19e82

Size: 127,631,928 bytes
libz3-dev (libz3-dev_4.8.9-1_arm64.deb)
SHA1: 9739fc36e1f6e2c4c71d7cf8318593a58b105f89
SHA256: 843d76547e44fd5b7dfe24096c9dfca424464d350db053ac5b01ce8fe23de529

Size: 90,756 bytes
libz3-java (libz3-java_4.8.9-1_arm64.deb)
SHA1: 52aaf540db80cdd1e754f7ead8d02a069d3f9fbc
SHA256: d834299aa8f965d39b2f5079514f098298db860629c19dd46666a94f5e7f4854

Size: 154,584 bytes
libz3-jni (libz3-jni_4.8.9-1_arm64.deb)
SHA1: cdc3c626f1117e6826772706bb7939885d96f84b
SHA256: c80e774f17aeeb1de4ee576afcc105beffa6469fa97a194c69ab7f49a485dca8

Size: 30,928 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.9-1_arm64.deb)
SHA1: 8ca2e46a69ec45f4089cb1aed1e766adbd89794f
SHA256: 7c52d37b10d245f089eb2e6012270797f163fd28f2734891af0c0b26f14e967c

Size: 178,772 bytes
python3-z3 (python3-z3_4.8.9-1_arm64.deb)
SHA1: 2ab27590fb7d5cf0a0ff2e4457536d4f861e4627
SHA256: ba059bab95ffae600e6f1b9095ba788c57ffdae9691be17d6ff4ef5c920247bf

Size: 78,204 bytes
z3 (z3_4.8.9-1_arm64.deb)
SHA1: 03dd7ecedec49190e58f1ddef8d56a58a30660fe
SHA256: 7fbdfc26fe67406c7bc3d3e788d130e9392bf2e926835ee4ae4360cd355528fa

Size: 5,978,300 bytes
z3-dbgsym (z3-dbgsym_4.8.9-1_arm64.deb)
SHA1: 95dc3a6926021e01e6c101b9762a0c0bc63278d5
SHA256: 1709c2032e602d06f1bf42b42c3dae86ea1ee8bbaab6645edac55563287fdf1f

Size: 129,214,984 bytes

Other checksums

Submissions

Submitted
Sat, 5 Dec 2020 19:44:24 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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