Source
z3 (4.8.6-2)
Version
4.8.6-2+b1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Tue, 5 Nov 2019 11:34:09 +0000
Build-Path
/build/z3-zjhbvB/z3-4.8.6

First submitted
Tue, 5 Nov 2019 12:13:42 +0000
SHA1 of .buildinfo
e188cb90c2d8324a826873fbe3699e328e2c7693

Binaries

libz3-4 (libz3-4_4.8.6-2+b1_ppc64el.deb)
SHA1: 93a57eb99129bf2fbb995da7b3848b363f1ee15f
SHA256: 7f401750e0a54b30dbbd26cbf94ad53f9da48eca464937d4f2c669bb0cc0bee0

Size: 6,796,944 bytes
libz3-dev (libz3-dev_4.8.6-2+b1_ppc64el.deb)
SHA1: 443d4446d5b259a6590d1d198868a2770e76c5d2
SHA256: 23af1e84d7fd36d1d77d9cb3e087342b93a5886b976ae3501d47d30e6c4a2b6d

Size: 86,068 bytes
libz3-java (libz3-java_4.8.6-2+b1_ppc64el.deb)
SHA1: 4e7ba0f122fd40b9382f10bcdb93f07e7711ef46
SHA256: 5d9ec7eadd1d9285cbeba0b0336b46696e963be3e666765e579c88f038045d9f

Size: 153,560 bytes
libz3-jni (libz3-jni_4.8.6-2+b1_ppc64el.deb)
SHA1: 47a637d16a411ab17b20f81235b16c2c771849f4
SHA256: bda6d8c9751af9a51892ff154d1ffcf06dccff0a359fa2109ab932012ca16498

Size: 35,708 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.6-2+b1_ppc64el.deb)
SHA1: 0f1886e898ca2a830eea9872e3539bf71e38d1ee
SHA256: aea7818b6b4049d68c7b9ca42be4feac6fde979b87ed9e0bea3bfc6b06394bf5

Size: 500,244 bytes
python3-z3 (python3-z3_4.8.6-2+b1_ppc64el.deb)
SHA1: d66c0a05dd9d633afd4320f77b51014f9f8cece6
SHA256: f7d73888e1c761a03688e798a39fac642fa88937acd143570b32081b7feae9b0

Size: 76,348 bytes
z3 (z3_4.8.6-2+b1_ppc64el.deb)
SHA1: c278e8211aea9dde72912babf9fb7c3ac223d806
SHA256: c96f010151bb0ffc0dbe94619b5f2569f3e82d96938aef3c791a09769e061e64

Size: 6,926,280 bytes

Other checksums

z3-dbgsym_4.8.6-2+b1_ppc64el.deb
SHA1: 5bd82fb0a2f4622c38d93763fdc6de4a4d1cc615
Size: 103,533,964 bytes
libz3-ocaml-dev-dbgsym_4.8.6-2+b1_ppc64el.deb
SHA1: 5e4e4f52e29eff80ced3f56bd1e47e8bddd3d93f
Size: 365,752 bytes
libz3-jni-dbgsym_4.8.6-2+b1_ppc64el.deb
SHA1: aa7ecdb18ae0470538440dbee69fdbf573fc3090
Size: 189,076 bytes
libz3-4-dbgsym_4.8.6-2+b1_ppc64el.deb
SHA1: 32c8a944116234660798a696e3070addc6c11fa0
Size: 100,543,120 bytes

Submissions

Submitted
Tue, 5 Nov 2019 12:13:43 +0000
Signed by
0xECF065C4DB31787B

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1572953025"