minisat2_1:2.2.1-5_amd64.buildinfo (view)

Source
minisat2
Version
1:2.2.1-5
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 28 Oct 2019 17:24:08 +0000
Build-Path
/build/1st/minisat2-2.2.1

First submitted
Tue, 25 Sep 2018 11:03:50 +0000
SHA1 of .buildinfo
f2e7a6d76bbe5c90368f51456c330b40aca2af7a

Binaries

minisat (minisat_2.2.1-5_amd64.deb)
SHA1: 58c12617e1d633119e8fe6dbd31a1c6a271c86bb
SHA256: 8f01c91afc3414c0493cdbc39aef026c616f019f2a6df4fc25e33d448a57fbaf

Size: 84,052 bytes
minisat2 (minisat2_2.2.1-5_amd64.deb)
SHA1: de1a195dff524a056afa746df7e5211c0b5e79dd
SHA256: 4a6eb72de7ed1490185f554588e87a21b8cb760327097241c09980a605ec5b3e

Size: 5,064 bytes

Other checksums

minisat-dbgsym_2.2.1-5_amd64.deb
SHA1: e54ed4421d9e8b3670620ec422343a6cb7a7e4c6
Size: 240,300 bytes

Submissions

ov3vtuec
Submitted
Tue, 25 Sep 2018 11:03:51 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1406713105"