Source
z3
Version
4.8.10-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 1 Feb 2021 20:09:09 +0000
Build-Path
/build/z3-4.8.10

First submitted
Mon, 1 Feb 2021 20:40:13 +0000
SHA1 of .buildinfo
1eb7a5bd93db5cd58b68f979ef65e08b53f09db4

Binaries

libz3-4 (libz3-4_4.8.10-1_amd64.deb)
SHA1: 7039b39d523bde6ca7986f0b2e53ee66402411a0
SHA256: bde8b6121bdaa6c557a90fff4eae9289d97c9b05359e1ac123ffe286ecb41fdc

Size: 6,949,888 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.10-1_amd64.deb)
SHA1: 40ad7d62322fef13bf4a320446f836a910af3128
SHA256: 3ae7c4c84d89438f0998255bed08897e8e41ba163c6ed439cb12321601863391

Size: 135,260,948 bytes
libz3-dev (libz3-dev_4.8.10-1_amd64.deb)
SHA1: c4318ba4d0c0c7a180e28335b46d54d2d73b4cfb
SHA256: c3e814472bd1f5077411f7543a8bcbfc531389f2af49ef6b2fb8a684a53c3f17

Size: 90,828 bytes
libz3-java (libz3-java_4.8.10-1_amd64.deb)
SHA1: 63b4edf321ad2090f6d91df421d7ac81df12ac1c
SHA256: 3ee94e7377cfa13a9e4972fa6155026dd4a9fe0caa069f3944d0f2b45afcfda7

Size: 159,340 bytes
libz3-jni (libz3-jni_4.8.10-1_amd64.deb)
SHA1: 286c0c71d9b71f9fd2e60d8f00dc3dcd03b80b87
SHA256: ec3acd6c347f368c3890d0a724e4eb8b1fb2b19201480cc4eebe5ff5d465ba17

Size: 32,476 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.10-1_amd64.deb)
SHA1: 4bd5b09e78d3f6694981af40eb54d5daace40223
SHA256: 406ba885c54fc3e5649e7495c6f1575295085901a3d985fd7e1a7d425889bd53

Size: 179,688 bytes
python3-z3 (python3-z3_4.8.10-1_amd64.deb)
SHA1: 169d367b9595cc57a980fc5b190db46fbeb70d7d
SHA256: e89e84a48c36b5e1da9bd6c19298715d448a2203c477d528fa840979685384c8

Size: 78,104 bytes
z3 (z3_4.8.10-1_amd64.deb)
SHA1: 61081c29e98c220decb176ff37b637de798a5435
SHA256: e1814f12ecd3d362d733bc5608853422bf21c861aa27fd0ba42e380e8a834505

Size: 6,965,540 bytes
z3-dbgsym (z3-dbgsym_4.8.10-1_amd64.deb)
SHA1: aab74d57be862baafb39dad563bddbecde22ed7c
SHA256: 30634e9ca98c381314c175c631b99220324b6a495eb9433a458aa926969163c2

Size: 136,950,316 bytes

Other checksums

Submissions

Submitted
Mon, 1 Feb 2021 20:40:15 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1611938649"