z3_4.8.8-1_arm64.buildinfo (view)

Source
z3
Version
4.8.8-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 9 Jul 2020 03:28:02 +0000
Build-Path
/build/z3-4.8.8

First submitted
Thu, 9 Jul 2020 03:29:18 +0000
SHA1 of .buildinfo
4942fbf166464eeb6570f95af87a09b77e42aa81

Binaries

libz3-4 (libz3-4_4.8.8-1_arm64.deb)
SHA1: 7b82e1fe0b9634cfb582aa194d617886e1be7fcb
SHA256: f3e496a55d8cb926f73af3bfed9000fe415fc1685efa9d2f3259e4146432ab86

Size: 6,324,304 bytes
libz3-dev (libz3-dev_4.8.8-1_arm64.deb)
SHA1: 2862ff8d8176742cecdb19a2b352addac4b0d031
SHA256: c825014b15e2769e0b7d555718bc137bda6f34e8a71a97c615b9f6247108c3b4

Size: 88,272 bytes
libz3-java (libz3-java_4.8.8-1_arm64.deb)
SHA1: 59d29c70694af260643455be89c54a8e8c2ce011
SHA256: e502bdaa57610ef69f8c40b6cb3ea50966f07e61f31455c03a19927851d03519

Size: 154,240 bytes
libz3-jni (libz3-jni_4.8.8-1_arm64.deb)
SHA1: 9ea83de91635e9cc5924c99a46f62c661b602a91
SHA256: 7ab02cd2cc57b2e393315356054ae0dab4914e84a07028e829550f7a76c89d46

Size: 30,988 bytes
python3-z3 (python3-z3_4.8.8-1_arm64.deb)
SHA1: 14c2c39793755f40d6d91ae57a249063395eba04
SHA256: a17f4980e5d030302aeee96527801f46b3bc5a2e1312d5705b9b65c139fdac83

Size: 76,708 bytes
z3 (z3_4.8.8-1_arm64.deb)
SHA1: 7693a955b09f61dc9985dccddb505a3d7efed5ea
SHA256: 4f0e8f8adc33e08f8d9dd27ec627981b0510de43109f47c889ae6c7e89363624

Size: 6,324,064 bytes

Other checksums

z3-dbgsym_4.8.8-1_arm64.deb
SHA1: a644a8a9264db3d535f88625e89ff3dab91ceedb
Size: 124,917,256 bytes
libz3-jni-dbgsym_4.8.8-1_arm64.deb
SHA1: f6196f49b277b77b7296dab5b1c3683e538481d5
Size: 177,924 bytes
libz3-4-dbgsym_4.8.8-1_arm64.deb
SHA1: 1e66aaa2b1f9470b80b13c26e76548f59f5818d6
Size: 123,559,200 bytes

Submissions

ijmxookn
Submitted
Thu, 9 Jul 2020 03:29:18 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1591453977"