Source
z3
Version
4.8.6-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 11 Oct 2019 06:31:36 +0000
Build-Path
/build/2/z3-4.8.6/2nd

First submitted
Fri, 11 Oct 2019 08:37:32 +0000
SHA1 of .buildinfo
bafcdfb1eed2129bf69382c844bb8141f1788717

Binaries

libz3-4 (libz3-4_4.8.6-1_armhf.deb)
SHA1: 93fa8a6fd1930e91015347105c478859ec7244fa
SHA256: d84e7f0369f6f113e96ed0378d717127ba8774927a810b1b91b765d4572b4af7

Size: 5,846,772 bytes
libz3-dev (libz3-dev_4.8.6-1_armhf.deb)
SHA1: 40b258ee6b96e8035c36c7011a1eb50db0dd6a4d
SHA256: be45a8384f68825d4dfff394d3b44499fe2095786fd08b54b31661aadcb08746

Size: 85,688 bytes
libz3-java (libz3-java_4.8.6-1_armhf.deb)
SHA1: 366fd213824778f2668c4d0c0747f3181f5bc8bb
SHA256: 3d4ca9ed8dd9e2f068acd820d1dca76131c034806f0ac5778d65efb054cf24f4

Size: 153,568 bytes
libz3-jni (libz3-jni_4.8.6-1_armhf.deb)
SHA1: 18757639365c8c0cb16f7b40a59fdbe85723cb70
SHA256: 5097bb943b82e6d113a3b51c2271838f84aa719f14e1af02adf693ff555b823d

Size: 30,108 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.6-1_armhf.deb)
SHA1: 9240376561aeedfba5a3268d8583825154f8a963
SHA256: 694f3e4193a59a6f34ce83bd7b1df76f3d59e6749de24b4dcc19008c018daab8

Size: 472,920 bytes
python3-z3 (python3-z3_4.8.6-1_armhf.deb)
SHA1: 3761db90888c0afd4a035497993c172e6e2c73eb
SHA256: f32c3a9477940b0a17b1cfaa9c299fd12dd737c4bf1fe9244d338e2655bb4f5b

Size: 76,384 bytes
z3 (z3_4.8.6-1_armhf.deb)
SHA1: 5e3d1a8ef1f848be41a045af14fb893426639ab9
SHA256: 02e84eff3acc629abeaf12b0cd5f1278b01db76c11ed39b497a42224145159f9

Size: 5,958,756 bytes

Other checksums

z3-dbgsym_4.8.6-1_armhf.deb
SHA1: 4f8d480db824fd8d83c1f5fbc523d9d8564fdff0
Size: 100,372,724 bytes
libz3-ocaml-dev-dbgsym_4.8.6-1_armhf.deb
SHA1: fc71760efa3b8901c589fbebdcdef11d40b7c60f
Size: 363,820 bytes
libz3-jni-dbgsym_4.8.6-1_armhf.deb
SHA1: 1331db269af5b16d365c5733c2c2d84690a1aa90
Size: 185,680 bytes
libz3-4-dbgsym_4.8.6-1_armhf.deb
SHA1: 1eaf1e49ac2a92d3a1ab8be7726e5ad9423e6cd8
Size: 97,546,752 bytes

Submissions

Submitted
Fri, 11 Oct 2019 08:37:33 +0000
Signed by
0x684E31FF38B7D0B7 jtk1a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1569774114"