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
Mon, 30 Oct 2017 20:18:05 +0000
Build-Path
/build/why3-0.87.3

First submitted
Mon, 30 Oct 2017 20:47:15 +0000
SHA1 of .buildinfo
f92157d80fd5989e445ee1e75150ff032bbe12ea

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_armhf.deb)
SHA1: aaef3eb9a8656703f3b47b439431ce34171fcfed
SHA256: 5bba53ce0b40c018305ea0ff76ef02b509803df4f16c7c77eea42106dc8cea2f

Size: 4,925,302 bytes
why3 (why3_0.87.3-2_armhf.deb)
SHA1: cd8543d2f621fa247331246f9600a418559c4147
SHA256: af1599024579a96362bb80b5fa48989906b3d5bc2e39ed9c139389da0016d682

Size: 11,347,350 bytes
why3-coq (why3-coq_0.87.3-2_armhf.deb)
SHA1: 9ad5103eb40eed605ce05524c2455c6e39b0a00b
SHA256: 443698973698592d8019e62377daca423da37474cc9895f8830a086963638455

Size: 5,204,980 bytes
why3-doc-html (why3-doc-html_0.87.3-2_all.deb)
SHA1: 6595c1f295bb6f8c9595664faed3762799678efb
SHA256: 9ec9bf441d49422e8c60bc63c8e4c58e730eb9f86ef3b52483448575645ca1ff

Size: 725,018 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: 70ed2d809971154af55b264abce5a9b6db9e4204
Size: 3,095,514 bytes
why3-coq-dbgsym_0.87.3-2_armhf.deb
SHA1: c9fbce787aeb352586a07c64b667031b8fda982e
Size: 317,286 bytes

Submissions

jfi7ofsc
Submitted
Mon, 30 Oct 2017 20:47:15 +0000
Signed by
0x9538881E43D098FB jtx1b (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1485028928"