boolector_1.5.118.6b56be4.121013-1_arm64.buildinfo (view)

Source
boolector
Version
1.5.118.6b56be4.121013-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 25 Oct 2022 07:12:16 +0000
Build-Path
/build/2/boolector-1.5.118.6b56be4.121013/2nd

First submitted
Wed, 22 Sep 2021 00:50:50 +0000
SHA1 of .buildinfo
28fd3a0c1c55deaaa1cb3283d8af67085f43a0aa

Binaries

boolector (boolector_1.5.118.6b56be4.121013-1_arm64.deb)
SHA1: d2a37de432485598e0e9fc7187205e17151c499f
SHA256: 6967e45bc0364ef9b008070f13013b455baecb90338145099ef83cfab80119b5

Size: 256,792 bytes
boolector-dbgsym (boolector-dbgsym_1.5.118.6b56be4.121013-1_arm64.deb)
SHA1: 413e2d9ee3f9a0d86a6da2185aea5ec407f31d1f
SHA256: d22e81b41edaf3c4b7edf4d988941c830bb4cacf9defcdd4f3bbebd97bdda9b4

Size: 12,432 bytes

Other checksums

Submissions

gd7enjki
Submitted
Wed, 22 Sep 2021 00:50:51 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1350388892"