Source
why3
Version
0.87.3-2
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 6 Aug 2017 10:59:59 +0000
Build-Path
/build/why3-0.87.3

First submitted
Sun, 6 Aug 2017 11:13:40 +0000
SHA1 of .buildinfo
c7fb2cb67abc8524b980189bcdf02720013829b8

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_arm64.deb)
SHA1: 5902c2c7086c3d754a9c116ab49c1cf2153c488b
SHA256: bac9aeaf5793d4365e0fa427382ff6aeb958b48397b270b6559de4ad55914b74

Size: 4,728,398 bytes
why3 (why3_0.87.3-2_arm64.deb)
SHA1: e142b3dda6303eb1e1a13a8ce216e64dd5a413c4
SHA256: 5b97aa3c018e9a869cdd2bdac71b9e2a0103d0e88cb36d01e1ecd18f7fd3dbbf

Size: 13,180,546 bytes
why3-coq (why3-coq_0.87.3-2_arm64.deb)
SHA1: 50e0589d7d7b397da160b54900260019fe056009
SHA256: f430ae93ade4cd9ba95fb03b2fb878f28e6935a3a7dc17552181b5c5bd91c856

Size: 5,110,276 bytes
why3-doc-html (why3-doc-html_0.87.3-2_all.deb)
SHA1: 185019b238c2ec441ff37d0d6eea15f25a8b3107
SHA256: d58c99bb0a5453fecabc7a256ccf7d3d8f0216c1ae2fea527b1df15d0c5e423f

Size: 725,012 bytes
why3-doc-pdf (why3-doc-pdf_0.87.3-2_all.deb)
SHA1: 5182c3013f0506488cea913bfc53adcc900b91e1
SHA256: fe7c5a26517026af0e00ac68b4495509ac0c369121b11daff0bf464ea955708c

Size: 1,228,906 bytes
why3-examples (why3-examples_0.87.3-2_all.deb)
SHA1: d576177648ff8de19f0bcf4e5adbf1ef31e72aef
SHA256: 2dcc755f6d9b831df3696ea36b8c3791f8f6c1b2deb5fca24dabbfc73b063a01

Size: 1,750,654 bytes

Other checksums

why3-dbgsym_0.87.3-2_arm64.deb
SHA1: 4dd43136f88deef9802f70238a1dde21e3be1464
Size: 3,815,460 bytes
why3-coq-dbgsym_0.87.3-2_arm64.deb
SHA1: 4bed6f06542b787dd72410c04ddcf17859eabb51
Size: 288,438 bytes

Submissions

Submitted
Sun, 6 Aug 2017 11:13:41 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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