Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 28 Jan 2019 14:49:50 +0000
Build-Path
/build/z3-4.4.1

First submitted
Mon, 28 Jan 2019 19:34:46 +0000
SHA1 of .buildinfo
8097312b4f71bc6b4b7ce54c5050e047b4c0e5af

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: c296336a7394de1a2863f3ca06b72d0949ee53c7
SHA256: bf22a10b06714072bd92d2e41da0d03b50ef829bfed3636a6d6b48c87bd39369

Size: 4,316,714 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: 3e1fd8b7d893e9b9fc2cc48ed6e25291587ab5b1
SHA256: 99f9d44fbc64a2f5613345d99fe03f6c4bb1f0cd5d0b438890a4f9952546c9a2

Size: 40,688 bytes
libz3-dev (libz3-dev_4.4.1-0.3_armhf.deb)
SHA1: 5f61103f5afb6ef66a2c822d855f27ceaf7811c6
SHA256: b8a17836d198fc5448e74c93d20361d4ecea418e8ae22c94ec8960f3410008bd

Size: 79,176 bytes
libz3-java (libz3-java_4.4.1-0.3_armhf.deb)
SHA1: 242e85eb64fa7be113b57f44c3b2b113415dc117
SHA256: 56f488abff8aa9e681ccd441e5193937b2a0131f4d746ba4ef8bd6abe0d35fda

Size: 143,432 bytes
libz3-jni (libz3-jni_4.4.1-0.3_armhf.deb)
SHA1: 6b651624a1ca1ac1046a16a6d87fcb0ec00d6f43
SHA256: 59b0a17d706e92780a29f2026b750b3800ae2e879c07df8479a08fad3c5bbf0b

Size: 28,918 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: 7b40b5bc21fd754c111ab7f72876b4bd5fc73c3f
SHA256: 5f5381afb38788a2ae554aa14d9f57a3a2543feeaff2c8d517b9b0fe620ed811

Size: 463,606 bytes
python-z3 (python-z3_4.4.1-0.3_armhf.deb)
SHA1: eb37cd59f9d42e2aa1ad524fdc63de20ddba86b6
SHA256: 7a25c17376406c8ebafe9fc7c39f5ab17125442842d96ee33b8b5293be72cf72

Size: 66,922 bytes
z3 (z3_4.4.1-0.3_armhf.deb)
SHA1: 2fe7518ef92afc0bdc23293bcdd7b76dd460431c
SHA256: 9ba725b2af0690498760d958781cb7f5ec2db2a1642395bd19b9365545ad3e77

Size: 4,323,414 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: d4e933c207738d16f1d60069f3f65b625243bde1
Size: 75,091,552 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: f7ae4a60ae618a63fdf03195d7fdafb1316de49a
Size: 170,640 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: bd0ec09065e755d8586fbba321e6381aaa8f250d
Size: 145,458 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: b06ffbceeee9e6ba0344dcf4877b6d073749d4e3
Size: 74,640,518 bytes

Submissions

Submitted
Mon, 28 Jan 2019 19:34:47 +0000
Signed by
0x00C8B57F4FD162BC odu3a (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="1474837584"