Source
z3
Version
4.4.1-1~deb10u1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 11 Oct 2020 00:10:11 +0000
Build-Path
/build/z3-4.4.1

First submitted
Sun, 8 Sep 2019 18:08:37 +0000
SHA1 of .buildinfo
624d5046e4817b743469cf0cdaa77d51863072ea

Binaries

libz3-4 (libz3-4_4.4.1-1~deb10u1_amd64.deb)
SHA1: 9764111587af6fbdaf86ff0794b8825ea788cdc7
SHA256: 5b6d57ed854008fd53e2ca31f98f1b32a49f8931866670ec16b6f435df332143

Size: 5,251,104 bytes
libz3-cil (libz3-cil_4.4.1-1~deb10u1_amd64.deb)
SHA1: abb4742959187819591d866125d819ff42a0f41c
SHA256: b71ec571d914c9e218c60badaea40129e1b5af5752ca4b8ad3951d860081702c

Size: 40,732 bytes
libz3-dev (libz3-dev_4.4.1-1~deb10u1_amd64.deb)
SHA1: 77a1d5e9d73f75fa3e0cdf6217da3c63eb56a12a
SHA256: ff5ea56bccdf9fb99a22c6b8cab4d4837660da5f54f1bdf2ce1e138c685ba7b6

Size: 79,648 bytes
libz3-java (libz3-java_4.4.1-1~deb10u1_amd64.deb)
SHA1: bf70169ad086ff6440451f8e5fafb4f6f8e87761
SHA256: 67550f282b526aaafdf16a2df31d0824133dc1e6f1355592eef351cbc53d27cd

Size: 146,372 bytes
libz3-jni (libz3-jni_4.4.1-1~deb10u1_amd64.deb)
SHA1: a0cb90c2ddd18234f177ceb464de2d49d3a4075d
SHA256: 996dbbf666d42984ae104da43b15e86b15841d13fe50033c1f66937b4bed9825

Size: 31,568 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-1~deb10u1_amd64.deb)
SHA1: a1e3537f2fdfad507dae77504b9c183324ba9c7c
SHA256: 6733f4c803fbe3e8ba859001dd7a0bd1071f53fb52ba6a0103ab0c5918c0658c

Size: 526,152 bytes
python-z3 (python-z3_4.4.1-1~deb10u1_amd64.deb)
SHA1: 9ebf2c9dffac666b83611e8419ac2ef7e3f922ee
SHA256: 69325a925bf26d082f73d873e86d0031b556cd95752eeac2383429a36dfcf3ca

Size: 67,028 bytes
z3 (z3_4.4.1-1~deb10u1_amd64.deb)
SHA1: afc5fd86e98474ae45382766ab425a7d5d202b27
SHA256: a78a18d5b7d5341c0d1411e20d92161726c6e02afce77531fb375015de51e7f4

Size: 5,266,068 bytes

Other checksums

z3-dbgsym_4.4.1-1~deb10u1_amd64.deb
SHA1: 4b583120ac2be4fc77f3f0f35a0ff297a2e469a9
Size: 98,924,152 bytes
libz3-ocaml-dev-dbgsym_4.4.1-1~deb10u1_amd64.deb
SHA1: 6ccc70cfe49c2ae886b111dac35adcebf70817fe
Size: 218,892 bytes
libz3-jni-dbgsym_4.4.1-1~deb10u1_amd64.deb
SHA1: fc6780ed821c9ee484807ccc8b3699a52f2ab18a
Size: 168,688 bytes
libz3-4-dbgsym_4.4.1-1~deb10u1_amd64.deb
SHA1: 49e0fd9e6a5d149162c249fbc142b21614dec0f0
Size: 98,330,524 bytes

Submissions

Submitted
Sun, 8 Sep 2019 18:08:37 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1566641915"