why3_0.87.3-2_all.buildinfo (view)

Source
why3
Version
0.87.3-2
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 7 Oct 2017 23:23:18 +0000
Build-Path
/build/why3-0.87.3/2nd

First submitted
Sun, 8 Oct 2017 00:19:41 +0000
SHA1 of .buildinfo
3e0a0ba74518b773abbfa46779336fda2a639a1c

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_armhf.deb)
SHA1: 321479d3589d3473710f363480d05b739b915536
SHA256: d959c49276de2dc1499576ec79983b7996a59f94a3144f2acf44f13a05a9b0b2

Size: 4,918,758 bytes
why3 (why3_0.87.3-2_armhf.deb)
SHA1: ca217c5e7bfc733ad36c1db1cb19bd7e2f58f5e9
SHA256: 265e4f2e79c2ea340e9a1dbceae27830b72d0aea3f5ca60252ed523dbc65c70f

Size: 12,708,524 bytes
why3-coq (why3-coq_0.87.3-2_armhf.deb)
SHA1: 99eaacfaaba2683ca2b80ebb15438162c339ff8e
SHA256: 67e491fb2c138ce52239e5c4c1f7c925255819e5732a0010bc1c036916a2388c

Size: 5,149,278 bytes
why3-doc-html (why3-doc-html_0.87.3-2_all.deb)
SHA1: 48357234f4536793c0e62cb7495d0e3d19b67c6d
SHA256: 8b4d1724cdb980fbf42827c3154f5927cb9cb974b3bac31fc629d18209bc7f25

Size: 725,048 bytes
why3-doc-pdf (why3-doc-pdf_0.87.3-2_all.deb)
SHA1: 1d1fa32bfedb3140c7ee868dc17c7aedb31f8f6c
SHA256: 9f3ae2885b80365f8c7b5461766ac2a1d7bdd57ff81425e9773e5008ed948d0a

Size: 1,228,908 bytes
why3-examples (why3-examples_0.87.3-2_all.deb)
SHA1: 1fef7d967386d525280d00564a9b1a418b54bf62
SHA256: d076e123815a2c10747e9abe866c0296c6d984f5aaeb17d2823c444aebdecf27

Size: 1,750,660 bytes

Other checksums

why3-dbgsym_0.87.3-2_armhf.deb
SHA1: 0f6b72ba4ae5c18b2de60009eed34351ac04b213
Size: 3,970,044 bytes
why3-coq-dbgsym_0.87.3-2_armhf.deb
SHA1: 7b9ea0f68feada4ebcd4218c4b3cd354e08ed23f
Size: 378,800 bytes

Submissions

zq3qw333
Submitted
Sun, 8 Oct 2017 00:19:41 +0000
Signed by
0xA7B82CF0C0043589 jtx1a (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why3_0.87.3-2=/build/why3-0.87.3/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1485028928"