why3_0.88.3-1_all.buildinfo (view)

Source
why3
Version
0.88.3-1
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 11 Feb 2018 18:10:57 +0000
Build-Path
/build/why3-0.88.3/2nd

First submitted
Sun, 11 Feb 2018 19:25:50 +0000
SHA1 of .buildinfo
196d97365a90b11a7c237950a6fbc9890c35a75c

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-1_armhf.deb)
SHA1: ab6eed5a3e6008f6c83616ca16b8115552a83b33
SHA256: 74fee98abee3e923f1d43c794f8636b851eaa40582d738a2a080db7b5c10d1b4

Size: 2,001,284 bytes
why3 (why3_0.88.3-1_armhf.deb)
SHA1: 058c7cffcd76391dee42985548bed6fc65c0460a
SHA256: 55836f41ba0d09df2c631291f7424fe2676a895e7723431e0ec4fa8bf3323b7c

Size: 11,131,376 bytes
why3-coq (why3-coq_0.88.3-1_armhf.deb)
SHA1: 4d21ff0ca9d9dc375ed7b3f9e7b8f5758aef6c95
SHA256: f064aa5efb877345a8783aef34c9563f2903e243566ca409dc8d3254c9a00830

Size: 2,048,308 bytes
why3-doc-html (why3-doc-html_0.88.3-1_all.deb)
SHA1: 4a32922619d067f7004d10cb17b7411d99800060
SHA256: fc78c9e21539dcbe246bc0604685cdbcedbe33d4911826f8461925649d2ad870

Size: 445,108 bytes
why3-doc-pdf (why3-doc-pdf_0.88.3-1_all.deb)
SHA1: 8e76afe3ef5f0c341b7ce12bcbd13dd120530e54
SHA256: ab5c85e82f50b36af6d39c29550cc523000fc1815e1aeae3f96c0bcac3af8903

Size: 1,250,468 bytes
why3-examples (why3-examples_0.88.3-1_all.deb)
SHA1: ccf48b6de7d5999a96b74f1713c7461eccee489e
SHA256: c66c5698f1a29dd841b32c0dbcbac994dde78ab1de2f353a5cd495bab5c3250a

Size: 1,626,120 bytes

Other checksums

why3-dbgsym_0.88.3-1_armhf.deb
SHA1: e0a5667cf13d3e49f49c281dd77bd51aa6c6037f
Size: 3,990,180 bytes
why3-coq-dbgsym_0.88.3-1_armhf.deb
SHA1: f7d24f0238f10b373440c2ca6511343ff9c5bd02
Size: 396,104 bytes

Submissions

xevbrg3e
Submitted
Sun, 11 Feb 2018 19:25:50 +0000
Signed by
0x8D1C4325E9E3C0CC opi2c (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why3_0.88.3-1=/build/why3-0.88.3/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1515937974"