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
Thu, 29 Nov 2018 02:34:04 +0000
Build-Path
/build/1st/minisat2-2.2.1

First submitted
Thu, 29 Nov 2018 02:36:07 +0000
SHA1 of .buildinfo
4da596e25103154dd9c623a1413937c5c8f85e33

Binaries

minisat (minisat_2.2.1-5_amd64.deb)
SHA1: 38d8cd55d3ad227a5b9be93210a48e81d8485b37
SHA256: 2165195d381febcd004635b4a6523b8043216eff926d637757da721d523e1d1a

Size: 84,108 bytes
minisat2 (minisat2_2.2.1-5_amd64.deb)
SHA1: de1a195dff524a056afa746df7e5211c0b5e79dd
SHA256: 4a6eb72de7ed1490185f554588e87a21b8cb760327097241c09980a605ec5b3e

Size: 5,064 bytes

Other checksums

minisat-dbgsym_2.2.1-5_amd64.deb
SHA1: ba5ba9736f52c37e78d0759936ee87236959c857
Size: 240,648 bytes

Submissions

zqt77z9e
Submitted
Thu, 29 Nov 2018 02:36:07 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-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"