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
Tue, 17 Jan 2023 21:16:34 +0000
Build-Path
/build/1st/minisat2-2.2.1

First submitted
Tue, 17 Jan 2023 21:17:58 +0000
SHA1 of .buildinfo
b68e1809cf78fb6ab28d0102fc3d6ffec8a11307

Binaries

minisat (minisat_2.2.1-5_amd64.deb)
SHA1: 64fbc8d53c964f5704fdaa4a84ed9c79da3de2f3
SHA256: 04bba8fe01ea8a73396b038677a871064328b38a49fa3fb42040e5129d15d272

Size: 82,676 bytes
minisat2 (minisat2_2.2.1-5_amd64.deb)
SHA1: 5ce7675e8fe7a2f5695d1f973511047d9245fbc6
SHA256: 7bc50c9e480cb2bff6ea53780fda291a54e706f339eb7d3ff3be7508b72b3641

Size: 4,180 bytes
minisat-dbgsym (minisat-dbgsym_2.2.1-5_amd64.deb)
SHA1: 419cff6e39cfafd4faf0adb93b3dd2a67bf75f24
SHA256: 5c64b0b3213b0c650c172149f835571995ad5cad03a3a1f8b5a6541538067887

Size: 228,468 bytes

Other checksums

Submissions

nup9bisw
Submitted
Tue, 17 Jan 2023 21:17:59 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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