why3 (1.2.0-1)_1.2.0-1+b5_armhf.buildinfo (view)

Source
why3 (1.2.0-1)
Version
1.2.0-1+b5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 21 Aug 2019 11:53:28 +0000
Build-Path
/build/why3-wi88Ts/why3-1.2.0

First submitted
Wed, 21 Aug 2019 12:54:37 +0000
SHA1 of .buildinfo
d346d249fcca7ce6710be11c88f549eac48eb17e

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-1+b5_armhf.deb)
SHA1: f7a8855aeb1232cba1148236f8186fa1f2fe48cb
SHA256: 4734a2e7ffb3cde44b0e40d92fe7f3ad80fa5db6dae4af064d8b112006ef2fbd

Size: 7,905,636 bytes
why3 (why3_1.2.0-1+b5_armhf.deb)
SHA1: bfc8916e48515cf8703fccaca8bd74fba2de8fa2
SHA256: 84fd1b16d595c571c69363e61a86b0f728b02cc4ac4b7f40846f429c5bf807d2

Size: 15,289,372 bytes
why3-coq (why3-coq_1.2.0-1+b5_armhf.deb)
SHA1: e71e3ae8961e6dd3d334b8ecf545399d062fe93c
SHA256: be5557d76bdb3a471c96c512007dbc9a60008fe131bc0ceecef97202faddc130

Size: 602,400 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.0-1+b5_armhf.deb
SHA1: aa36520c7a05dc76d2175c3e65da54ae2e8a180e
Size: 4,622,652 bytes
libwhy3-ocaml-dev-dbgsym_1.2.0-1+b5_armhf.deb
SHA1: 92c9f616835f4e9c920ae36b0e917351af9b524d
Size: 453,764 bytes

Submissions

4nfbpqvx
Submitted
Wed, 21 Aug 2019 12:54:38 +0000
Signed by
0x9D9A36A270771481

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1566388165"