why3_1.2.1-1_all.buildinfo (view)

Source
why3
Version
1.2.1-1
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 1 Nov 2019 05:57:58 +0000
Build-Path
/build/why3-1.2.1

First submitted
Fri, 1 Nov 2019 06:20:17 +0000
SHA1 of .buildinfo
2ca098c2b5b60cd597b2527ca4d0106932bdaab6

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-1_armhf.deb)
SHA1: 4aade22896588372cc2920a8984ae8aff539f4f9
SHA256: e64f7afe727810e3e0d6eca4e6b63db87b1921613db6ade0e7f90b07284d5502

Size: 7,905,064 bytes
why3 (why3_1.2.1-1_armhf.deb)
SHA1: 3295e5ba833585527409a4eb204dc97d831a9b9c
SHA256: c54ea72e359d62727d1a114ce2a39e9214d17b4c9493a8b458ae7d2f98c127c7

Size: 19,200,432 bytes
why3-coq (why3-coq_1.2.1-1_armhf.deb)
SHA1: 719895fab73d89bd5dc4915a3c92f6d3dc172b5b
SHA256: 95d93bb4ed1d8bcd4b317eb0544de1cc396d74cf8432de07d9c9e04fcff9f8d5

Size: 602,356 bytes
why3-doc-html (why3-doc-html_1.2.1-1_all.deb)
SHA1: 1dc077bb564fbad91345147bfa2fe99acc0e7cf5
SHA256: 323a5f1c92234fb840620c5475fe404b2ce9a7bc0afb582745874821417c5d86

Size: 362,468 bytes
why3-doc-pdf (why3-doc-pdf_1.2.1-1_all.deb)
SHA1: d668d7b5ae51b6f451a67a2ff44a5fcdd93c060a
SHA256: 0c96d894882c0d5c00ec7507b504b43ca0f623b57b71d7e61676db23fa748827

Size: 1,274,368 bytes
why3-examples (why3-examples_1.2.1-1_all.deb)
SHA1: 05a4d8d6a46dab36213f6d2dc855f07424429ccc
SHA256: 79fdea218f0f11c1cccd41aa471b5e50a6f4dfbad0c1d334ee94897b89f5ebe6

Size: 2,473,720 bytes

Other checksums

why3-dbgsym_1.2.1-1_armhf.deb
SHA1: 94f97407f2c28df3263f67bb21b5e3e60ac7df03
Size: 5,314,876 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-1_armhf.deb
SHA1: 189fbabc3407f7befa2e5962ca7f3dcebd3952a3
Size: 452,916 bytes

Submissions

7xcast4b
Submitted
Fri, 1 Nov 2019 06:20:17 +0000
Signed by
0x8FCA21099AC7DFA4

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1572284919"