Source
cryptominisat
Version
5.8.0+dfsg1-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 20 Feb 2023 21:07:32 +0000
Build-Path
/build/2/cryptominisat-5.8.0+dfsg1/2nd

First submitted
Tue, 18 Jan 2022 14:45:55 +0000
SHA1 of .buildinfo
d4eee87dc28972d241f47e3167365a62a83bbe41

Binaries

cryptominisat (cryptominisat_5.8.0+dfsg1-1_amd64.deb)
SHA1: d5906633ef2e299277ca1e9b8fdebf8b18bda22f
SHA256: 7e3dc8ae5de60ac82f8ff0e6accef39a3485f60c5925789c70558dd549da408c

Size: 88,340 bytes
cryptominisat-dbgsym (cryptominisat-dbgsym_5.8.0+dfsg1-1_amd64.deb)
SHA1: f1150a1c3ed467e511aa72346050b9666e18fa90
SHA256: 90fcb936288f113e1f5a6cd474e5a0504c747451bf94020464cba9d8a14abff4

Size: 1,177,240 bytes
libcryptominisat5-5.8 (libcryptominisat5-5.8_5.8.0+dfsg1-1_amd64.deb)
SHA1: 081a463862bb3f4d310b42a43353446897a3f69d
SHA256: ec44d750e381c957e4a5702221857700d9023a14dba46691300c8bc5bdbbe433

Size: 417,868 bytes
libcryptominisat5-5.8-dbgsym (libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1_amd64.deb)
SHA1: f3c7bcac474b163e98cb8193008df2bbaf31ad59
SHA256: 5ea9907e3d2b10349ea93f73523d5b7f3c165dd137a312cd04c0679daee17468

Size: 6,195,520 bytes
libcryptominisat5-dev (libcryptominisat5-dev_5.8.0+dfsg1-1_amd64.deb)
SHA1: 10e85726b602fa307e99a0cb7cf10660dc456424
SHA256: 08b61b808a98366d9c2bcb3bc8d133f9b59bace9f68bf7d9de1960cbca0e0c56

Size: 13,660 bytes
python3-cryptominisat (python3-cryptominisat_5.8.0+dfsg1-1_amd64.deb)
SHA1: 6a820850d2a650e73350cfe0d8db603b654da483
SHA256: 0be0f266ee63eda1b8650ae2f481b1aae36cd06fd0ef8e6dc3436f271c948b30

Size: 18,904 bytes
python3-cryptominisat-dbgsym (python3-cryptominisat-dbgsym_5.8.0+dfsg1-1_amd64.deb)
SHA1: 233e2efbbd03d6bb65df073e062e6ecd4505ee31
SHA256: 22e43aaebe37dc195d5066788c3f671b4ed419c17c39496dcf7a025ab1b3901b

Size: 83,316 bytes

Other checksums

Submissions

Submitted
Tue, 18 Jan 2022 14:45:56 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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