ladr_0.0.200911a-2.1_arm64.buildinfo (view)

Source
ladr
Version
0.0.200911a-2.1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 11 Dec 2018 01:59:46 +0000
Build-Path
/build/ladr-0.0.200911a

First submitted
Tue, 7 Nov 2017 19:37:07 +0000
SHA1 of .buildinfo
46a29e5b8c3e663f27624c97cb7a41446eb1f477

Binaries

ladr4-apps (ladr4-apps_0.0.200911a-2.1_arm64.deb)
SHA1: 8b910a5ae8dde074623abcd0de067f688fb33d61
SHA256: 1968d14fc1985187dc84e2a81981226d17ca73bf4e2f990ad524d486bd5ea2e5

Size: 131,988 bytes
libladr4 (libladr4_0.0.200911a-2.1_arm64.deb)
SHA1: 585802d9eed671272bff3a58ceae6302ceb90f3e
SHA256: 81239ebb2da0f707105426f723e4918c6796f22fc52977ac92e7529c521f05f4

Size: 160,920 bytes
libladr-dev (libladr-dev_0.0.200911a-2.1_arm64.deb)
SHA1: 194c87258e917910ae25493482ee84524e377d3c
SHA256: 0637e48a88a56a57e1b9c5988154ea1870c4875fc1d18b3d70b1b292e77d2270

Size: 262,872 bytes
prover9 (prover9_0.0.200911a-2.1_arm64.deb)
SHA1: 089baee70dc76c2fd1fbf10dd56b91f51197de84
SHA256: b27336728172d3364583757a6050d740838c4f10020f6545911e9981f03ebb8d

Size: 93,076 bytes

Other checksums

prover9-dbgsym_0.0.200911a-2.1_arm64.deb
SHA1: c1e73eea48005e00eeda61e1324dd4c33916230b
Size: 14,492 bytes
libladr4-dbgsym_0.0.200911a-2.1_arm64.deb
SHA1: 4d6c003fe6c880a9d07cb56caf44a7994ab16c54
Size: 21,504 bytes
ladr4-apps-dbgsym_0.0.200911a-2.1_arm64.deb
SHA1: 96ea1b76a31619ec74cdfc93791171e43f7bf3d3
Size: 27,040 bytes

Submissions

ttsy9bym
Submitted
Tue, 7 Nov 2017 19:37:07 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1412851063"