Source
ladr
Version
0.0.200911a-2.1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 26 May 2018 07:45:45 +0000
Build-Path
/build/ladr-0.0.200911a/2nd

First submitted
Sat, 26 May 2018 07:46:35 +0000
SHA1 of .buildinfo
7b126f43438cd6cf09954dd6328b7876182ee9e3

Binaries

ladr4-apps (ladr4-apps_0.0.200911a-2.1_amd64.deb)
SHA1: b87f28dd530155fc5ffd8ff30a5f4b7753d19ed3
SHA256: 2ee90176f39c1611980e9a2fec065e1e32ed54e37a3d3871de90cf4690f40cd4

Size: 159,144 bytes
libladr4 (libladr4_0.0.200911a-2.1_amd64.deb)
SHA1: 7d1dfba6d685261419a0ffea17a24108be6451be
SHA256: 6a92d4bd377c4541f980edc1e05148d34f857dc914b5e79475c8cd85c742dbe2

Size: 189,212 bytes
libladr-dev (libladr-dev_0.0.200911a-2.1_amd64.deb)
SHA1: b1cda6ea017373e4dc340b2f7f6653f47fa532b1
SHA256: ab7f0c6cf429f089da01dbd89321d48c4f900216017a4960506ba378ac16d70f

Size: 284,972 bytes
prover9 (prover9_0.0.200911a-2.1_amd64.deb)
SHA1: 104203357e7ecd9561d8300b0ec815c0452e5cc5
SHA256: fa63d19c49a878eb4a37aa1f7b6176c4ab51daa995e64f25e33c64660bbbaaba

Size: 102,168 bytes

Other checksums

prover9-dbgsym_0.0.200911a-2.1_amd64.deb
SHA1: 749a405cd02f0ca17c2dfd09e9d2dadcf87afa3c
Size: 13,788 bytes
libladr4-dbgsym_0.0.200911a-2.1_amd64.deb
SHA1: 7ebd8d89feafcb1a18c401bb3498b11e8b6b6844
Size: 20,744 bytes
ladr4-apps-dbgsym_0.0.200911a-2.1_amd64.deb
SHA1: f048dc5282608e22484831e2fe47414de1ad09b7
Size: 24,628 bytes

Submissions

Submitted
Sat, 26 May 2018 07:46:35 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="ladr_0.0.200911a-2.1=/build/ladr-0.0.200911a/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1412851063"