Source
minisat2
Version
1:2.2.1-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 12 May 2021 03:25:39 +0000
Build-Path
/build/minisat2-2.2.1

First submitted
Wed, 8 Apr 2020 21:04:34 +0000
SHA1 of .buildinfo
4e6caea887376aebf2d7ec89d00b2f7ae153e985

Binaries

minisat (minisat_2.2.1-5_arm64.deb)
SHA1: c22b79e6cd32e0229fba5b45430d838ab86bafb0
SHA256: 1eb483c8b24fe52fed451a522c43baa6e797ad672c0c5983e0eb53708c1d7374

Size: 80,824 bytes
minisat2 (minisat2_2.2.1-5_arm64.deb)
SHA1: 769002ec34cdba954b406479f549f9ef27bdc141
SHA256: ffab3ffcdbe7583b5a22c7be7e95538c8cabc89de829a0f746981b29901a4739

Size: 5,064 bytes

Other checksums

minisat-dbgsym_2.2.1-5_arm64.deb
SHA1: 345089d37a31092d083f4a08f3ec8741c8c7e4cc
Size: 238,856 bytes

Submissions

Submitted
Wed, 8 Apr 2020 21:04:34 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-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="1406713105"