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

Source
boolector
Version
1.5.118.6b56be4.121013-1.1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 26 Mar 2022 02:54:18 +0000
Build-Path
/build/1st/boolector-1.5.118.6b56be4.121013

First submitted
Sat, 26 Mar 2022 02:57:42 +0000
SHA1 of .buildinfo
2f522fba5bca8db8678e83670a81c416b3249d58

Binaries

boolector (boolector_1.5.118.6b56be4.121013-1.1_arm64.deb)
SHA1: 388434c7db8b193bb27dfde50c2c2abd6cbb8787
SHA256: 018cd34db50cdb74c44c2224d70a040043e56bdf0a51f07487eef523c4f73bbf

Size: 258,944 bytes
boolector-dbgsym (boolector-dbgsym_1.5.118.6b56be4.121013-1.1_arm64.deb)
SHA1: 0561ac202194627573675b512c28b25ad8f55c2c
SHA256: fe2ca8bc4e471a968e4e87797254ed408f55a8d95ddf434c2958951a72fc16b5

Size: 12,452 bytes

Other checksums

Submissions

9kix7p7c
Submitted
Sat, 26 Mar 2022 02:57:43 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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="1640634808"