p9m4_0.5.dfsg-3_all.buildinfo (view)

Source
p9m4
Version
0.5.dfsg-3
Architecture
all

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 22 Jun 2018 00:39:19 +0000
Build-Path
/build/p9m4-0.5.dfsg/2nd

First submitted
Fri, 19 May 2017 18:16:17 +0000
SHA1 of .buildinfo
4cf394c3231d65bef1dc54f183cd728f1662a0ee

Binaries

prover9-mace4 (prover9-mace4_0.5.dfsg-3_all.deb)
SHA1: 461d4208b877b9304b09898c1f2df010865011bb
SHA256: 05c8029e70e858ca84c36c8224f13f5a918ef2e30e4be23fb35590e6fca4971f

Size: 52,200 bytes

Other checksums

Submissions

dxebtzsg
Submitted
Fri, 19 May 2017 18:16:17 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="p9m4_0.5.dfsg-3=/build/p9m4-0.5.dfsg/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1450108122"