Source
z3
Version
4.8.9-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 8 Dec 2020 10:03:48 +0000
Build-Path
/build/z3-4.8.9

First submitted
Tue, 8 Dec 2020 10:04:32 +0000
SHA1 of .buildinfo
9262dfee2ebac85f7c7e449e139bae4bb1ae5b8f

Binaries

libz3-4 (libz3-4_4.8.9-1_arm64.deb)
SHA1: 8afb132b7e4d923f45b3582f769920a3c2914131
SHA256: 843855b5adb6f8e8670c41fe9ec0ee51299d13bdcc57cf6b9c9e1ae07bc8d57b

Size: 5,972,680 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.9-1_arm64.deb)
SHA1: c02438e88a4fbcbe1ce09cf44075cf4ff92737d2
SHA256: 3fd98f3c1c8acd3407f9385afbf48954915653774a99936057e6b144c9e1b2f8

Size: 127,631,572 bytes
libz3-dev (libz3-dev_4.8.9-1_arm64.deb)
SHA1: 9739fc36e1f6e2c4c71d7cf8318593a58b105f89
SHA256: 843d76547e44fd5b7dfe24096c9dfca424464d350db053ac5b01ce8fe23de529

Size: 90,756 bytes
libz3-java (libz3-java_4.8.9-1_arm64.deb)
SHA1: 52aaf540db80cdd1e754f7ead8d02a069d3f9fbc
SHA256: d834299aa8f965d39b2f5079514f098298db860629c19dd46666a94f5e7f4854

Size: 154,584 bytes
libz3-jni (libz3-jni_4.8.9-1_arm64.deb)
SHA1: 5afeefc9a06ccbe33ff40747516a5602bbf2cfb3
SHA256: 584a7be6a09f28c8a22bd504cb03a17bd2e5eb2331c28f91d8596ade73fa37ac

Size: 30,916 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.9-1_arm64.deb)
SHA1: 6cf481ae220a03b6d116eb44182bc24a7a95bb8f
SHA256: fc6476572d5518e3c859c10d6832dde354b4c491520f561aafafbbe01d273daa

Size: 178,716 bytes
python3-z3 (python3-z3_4.8.9-1_arm64.deb)
SHA1: 2ab27590fb7d5cf0a0ff2e4457536d4f861e4627
SHA256: ba059bab95ffae600e6f1b9095ba788c57ffdae9691be17d6ff4ef5c920247bf

Size: 78,204 bytes
z3 (z3_4.8.9-1_arm64.deb)
SHA1: 678622934076f79e7ab176d73fa52bb453a2042f
SHA256: 940043756df803a7abfab8a2a5d098229a1b58244d4a15ad2d3d29f18f5b2d93

Size: 5,977,972 bytes
z3-dbgsym (z3-dbgsym_4.8.9-1_arm64.deb)
SHA1: 73c7636f213cd36e118bdad4fb9c9dc9152e0632
SHA256: 7c291100c319692831a539b6a8129bb5f208253919adbbe89783ed3f9ea01465

Size: 129,217,244 bytes

Other checksums

Submissions

Submitted
Tue, 8 Dec 2020 10:04:33 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1600685745"