Source
minisat2
Version
1:2.2.1-5
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 2 Mar 2022 01:36:24 +0000
Build-Path
/build/minisat2-2.2.1

First submitted
Wed, 2 Mar 2022 01:36:32 +0000
SHA1 of .buildinfo
76d1cd33ad8e7e3fd4cc220ce8dd2dc915044440

Binaries

minisat (minisat_2.2.1-5_i386.deb)
SHA1: b693bb0bfa036940340690c56a7b1ab194310bb4
SHA256: 08fd7feedcd16083a552d30ce815bdfa468cb43027d5c48ada585c08c188df02

Size: 92,896 bytes
minisat2 (minisat2_2.2.1-5_i386.deb)
SHA1: a2b1a9ca64d4290270e3cb8bad7dfd5fdd1fb207
SHA256: 7490dfeaf90adf0cf081851539a219c32782cc661d048951cc65e17a1fe98aef

Size: 5,060 bytes
minisat-dbgsym (minisat-dbgsym_2.2.1-5_i386.deb)
SHA1: 20d1d29d4deb7d2c74dab1f9ad46050f4e1f36dd
SHA256: 83402c27836f37a3560bfe20843da470b543c95b7efe92ea20d5a1f646bfc625

Size: 220,992 bytes

Other checksums

Submissions

Submitted
Wed, 2 Mar 2022 01:36:32 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=7"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1406713105"