Source
minisat2
Version
1:2.2.1-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 26 Aug 2017 10:28:14 +0000
Build-Path
/build/minisat2-2.2.1

First submitted
Sat, 26 Aug 2017 10:29:02 +0000
SHA1 of .buildinfo
c20668132f1734fecb7ec9a3cb2ee4cdbef89a7f

Binaries

minisat (minisat_2.2.1-5_arm64.deb)
SHA1: e98b2ce4ae6bf9f8436569ffc4aa4416cd281157
SHA256: c495b39007038958f31773673cb82eb2daa30c5e4e1dbd17af26e71a9cdfa41a

Size: 82,422 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: 6367b1aab06e659894ba0683cd0f9aad59a5cb2e
Size: 165,236 bytes

Submissions

Submitted
Sat, 26 Aug 2017 10:29:02 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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