Source
cryptominisat
Version
5.8.0+dfsg1-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 1 Nov 2020 18:53:09 +0000
Build-Path
/build/1st/cryptominisat-5.8.0+dfsg1

First submitted
Sun, 1 Nov 2020 19:07:20 +0000
SHA1 of .buildinfo
a6078786d2e7f6f851b99db865fcf994d1c0864c

Binaries

cryptominisat (cryptominisat_5.8.0+dfsg1-1_arm64.deb)
SHA1: 96989714c5e4d1d1a4f9156c94bcd41dc866e35e
SHA256: 8b487be281c5a01d8bb69b09beb76eb576dfb41f436af32df3d9ff727f67ad94

Size: 86,504 bytes
cryptominisat-dbgsym (cryptominisat-dbgsym_5.8.0+dfsg1-1_arm64.deb)
SHA1: 48cd84d27da59ffa393ab82c684783a5574596f5
SHA256: 40ef0b31ee6f4ca6dfcaccae96e371abc180da28fe24742356a75cc11246f7b7

Size: 1,111,536 bytes
libcryptominisat5-5.8 (libcryptominisat5-5.8_5.8.0+dfsg1-1_arm64.deb)
SHA1: c1fb425807e1a549ee5ac9d43fdae4e7d93877e9
SHA256: fdcc031f611c2a243ea1ba200c86c912f74419f423ebc5de8ebd73511b9562e7

Size: 378,728 bytes
libcryptominisat5-5.8-dbgsym (libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1_arm64.deb)
SHA1: 958c56eef87b34c10071993f8e7c12739955564d
SHA256: c2df3151ad3c8547c7d6ad77567cf4d2ff0acc86f1ccd3e70a7e128a593b413e

Size: 5,681,600 bytes
libcryptominisat5-dev (libcryptominisat5-dev_5.8.0+dfsg1-1_arm64.deb)
SHA1: 04f3c1d571e09f2b6c1bcfdb5f24b7d0a5dd6063
SHA256: dc5041082ad668caa3febff9ae0d47d2c6d2f5438e4ebda698b472d9e1df5109

Size: 13,656 bytes
python3-cryptominisat (python3-cryptominisat_5.8.0+dfsg1-1_arm64.deb)
SHA1: f070b155dfda4249975808763e7b1b310c085268
SHA256: 6dc70416ee4ded6766f6f6cb87e840367dd0db24d74028e360b8ecc0bc14f2db

Size: 18,492 bytes
python3-cryptominisat-dbgsym (python3-cryptominisat-dbgsym_5.8.0+dfsg1-1_arm64.deb)
SHA1: 2aa2448886f4c5feb454859784cfa6e458feb079
SHA256: 4aaecdb05aa7938f40b9ceadc4138b5d77e74856989a3be96b9ca553f1283284

Size: 84,504 bytes

Other checksums

Submissions

Submitted
Sun, 1 Nov 2020 19:07:21 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-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="1594462286"