Source
z3
Version
4.8.10-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 10 Jun 2021 06:41:41 +0000
Build-Path
/build/z3-4.8.10

First submitted
Thu, 10 Jun 2021 06:56:20 +0000
SHA1 of .buildinfo
462d47b7b14acd3ff1bd17ab210c48b17d26fce8

Binaries

libz3-4 (libz3-4_4.8.10-1_amd64.deb)
SHA1: cecfd277457d931dc4f4b08deec2d77788c0bec9
SHA256: 1580aa6923187ec7f7ba81cdb52f04cc567f0aa12486fe91db0ec44c75636736

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: 3530d4fad3dfa018a4f52e376e09dbb235ed5e07
SHA256: d5c700b4f00694282e550058b9319f5a4b086e5635fdee4fdd23acdc5121a67a

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
Thu, 10 Jun 2021 06:56:21 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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"