why3_1.0.0-2_all.buildinfo (view)

Source
why3
Version
1.0.0-2
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 13 Aug 2018 04:50:36 +0000
Build-Path
/build/why3-1.0.0/2nd

First submitted
Mon, 13 Aug 2018 06:13:11 +0000
SHA1 of .buildinfo
7dd0abea1880c1ac3a70dc75b741e6db9e8d8918

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-2_arm64.deb)
SHA1: e78c081e94d4946bbd433b82181d85df84b5a65f
SHA256: 28a9879ffe823013ac9164a967059d0b82c40d802f6eb55e2d76a8e0857e66bd

Size: 4,661,776 bytes
why3 (why3_1.0.0-2_arm64.deb)
SHA1: 53509ff542f7f97fee0177a52e9b3f78b524e27a
SHA256: 996ceac203ddecd8487fc85e37bcbd113c90c18c65b8da3b9c93441f83003613

Size: 35,864,568 bytes
why3-coq (why3-coq_1.0.0-2_arm64.deb)
SHA1: 22804e946511c7e76104462e5e54fdafe663ab6c
SHA256: 6fbd9b840d04aabd7cdbeb82d6bbd6eb91da166f41c27095f0dbc24c1d13bd8a

Size: 561,604 bytes
why3-doc-html (why3-doc-html_1.0.0-2_all.deb)
SHA1: 913c76efe097690ffaa1164a36dd93a9940fe6b1
SHA256: 85b3a58961aae4f439c4d10a4cd95601bc01a33c507c2aca5656598de67fa853

Size: 331,832 bytes
why3-doc-pdf (why3-doc-pdf_1.0.0-2_all.deb)
SHA1: 61e308c02c0475e1ec1e8a116ed2cdb5921890db
SHA256: 2273161472f02dbd49283bccdb7c9328f33deb358aad99639ddc8b6823b2f0a5

Size: 1,071,872 bytes
why3-examples (why3-examples_1.0.0-2_all.deb)
SHA1: 6b84165c9b87de0e3c59d58f2434afc73ecdef1f
SHA256: d541d549046d5cee89de60c17a70314b2db9f103a9424bce761375c9d6bc4818

Size: 2,486,076 bytes

Other checksums

why3-dbgsym_1.0.0-2_arm64.deb
SHA1: 8eac4733d5f5fe2acf3759c26f5a2344439492ae
Size: 6,320,780 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-2_arm64.deb
SHA1: 8f88d5e5e99016d1e78b5f0dd88823a958a1ae84
Size: 594,352 bytes

Submissions

bnpm7yms
Submitted
Mon, 13 Aug 2018 06:13:11 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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