Source
minisat2
Version
1:2.2.1-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 15 May 2017 07:16:25 +0000
Build-Path
/build/1st/minisat2-2.2.1

First submitted
Mon, 15 May 2017 07:17:51 +0000
SHA1 of .buildinfo
6caea7ae082c850c07180f15f2829e8c39faabe2

Binaries

minisat (minisat_2.2.1-5_arm64.deb)
SHA1: b77e137a06e17a30018b45b9d55a236466f9c2e1
SHA256: f25a9ae42fb364daa18e16d69714751070e6c3b77b1e6d976b5167cc9158d6b5

Size: 81,654 bytes
minisat2 (minisat2_2.2.1-5_arm64.deb)
SHA1: 102173e332a3b8d54a69037460871fb5ab1cee2a
SHA256: f261ccda01fab8fb01924ab745e3b3b1ad578035bbbddbd12437a1298dcd8bdc

Size: 4,978 bytes

Other checksums

minisat-dbgsym_2.2.1-5_arm64.deb
SHA1: d07c63b56e46ba80bff6acc5a7c0099ac43d913a
Size: 163,394 bytes

Submissions

Submitted
Mon, 15 May 2017 07:17:51 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="minisat2_1%.2.2.1-5=/build/1st/minisat2-2.2.1"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1406713105"