Source
z3
Version
4.8.10-1
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Fri, 29 Jan 2021 18:09:15 +0000
Build-Path
/build/z3-wWNr8a/z3-4.8.10

First submitted
Sat, 30 Jan 2021 00:10:46 +0000
SHA1 of .buildinfo
eb85ee9d37b3b58d4c6fc624958dbd4e9b4ae4b4

Binaries

libz3-4 (libz3-4_4.8.10-1_armel.deb)
SHA1: 51e23981ee1502c517bcaf7921dda1baeb19d6ff
SHA256: 49669b64eeb311091ab7f39423b64a09ccb7a0188b5e15d8674363634acacc67

Size: 5,678,436 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.10-1_armel.deb)
SHA1: 0ba7850d06750e84b0124518fc350950ea85eefe
SHA256: b29731c40761e0c3baf8b62c647fdaea52bc15d4718011478ecea6e92538129b

Size: 127,701,576 bytes
libz3-dev (libz3-dev_4.8.10-1_armel.deb)
SHA1: c00388a861633af90673ab0a45c4013378125ef6
SHA256: bf6c11461c602cfe67b6e49782e93abb7e1ff9b1c2546cb05ddcf4a80ef52d09

Size: 90,824 bytes
libz3-java (libz3-java_4.8.10-1_armel.deb)
SHA1: ade8cfb5e34d18ac4089240ff48bcb8f34014ccb
SHA256: 4aa8f523843169e096a126609e50594b069c12673e15430707543588d293bbb6

Size: 159,336 bytes
libz3-jni (libz3-jni_4.8.10-1_armel.deb)
SHA1: 77975bdbd1aebc3941b356fab9956bfe4dbc39db
SHA256: e251c93f5b4eddfd14e011960cccab253da3e3ff28e2797cda8d1809d8a8e499

Size: 28,384 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.10-1_armel.deb)
SHA1: 3f9df4e26964f96e217f4041ba4ebcb3a3457be7
SHA256: e3542a0290028e1c3d62e4fa11ec6001410a55d7523e018a900d9c9c524f318e

Size: 180,492 bytes
python3-z3 (python3-z3_4.8.10-1_armel.deb)
SHA1: 668f6ffc3264aad6541d957f6c8d659fe45920b6
SHA256: 005d38d7810593037c9b390e60a10da3ddb6f7706f23db925947001e18faec7f

Size: 78,100 bytes
z3 (z3_4.8.10-1_armel.deb)
SHA1: 898b4d53175ae8ddea9d40a78df5dd6bfb07c8b2
SHA256: c988f929041ded2367a75afc6d58fa5b8f362301f89c3f3c1d2cc17c631ef56e

Size: 5,688,192 bytes
z3-dbgsym (z3-dbgsym_4.8.10-1_armel.deb)
SHA1: c53b82bb15eeb5155e6eca585bca5ae22f6b61d1
SHA256: ed57ed8ceaa414104939ea5ae002ee81ffd668a8fff5987c5a0e1d859ddab1af

Size: 129,349,964 bytes

Other checksums

Submissions

Submitted
Sat, 30 Jan 2021 00:10:47 +0000
Signed by
0xE3B4BB7EDC0B4691

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1611938649"