why3_1.1.1-2_all.buildinfo (view)

Source
why3
Version
1.1.1-2
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 13 Feb 2020 11:48:02 +0000
Build-Path
/build/why3-1.1.1/2nd

First submitted
Fri, 11 Jan 2019 06:16:30 +0000
SHA1 of .buildinfo
eff8f02278ae77a6b9e309d769f045b79bcb13ea

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-2_arm64.deb)
SHA1: d2aa79a43885a048477b8ecc350feaecbaa4d9c7
SHA256: df2e524d1e0be33c641e1ad447bdb9be56253c14eeaac7f45760c0a7af6cd70e

Size: 4,686,568 bytes
why3 (why3_1.1.1-2_arm64.deb)
SHA1: 375272c874c7fa4d05bffddaf183d566c75efcfc
SHA256: 50813b4b869f021720defcc12982f1b0f36972c3002248fe8c809d66423da97e

Size: 32,297,784 bytes
why3-coq (why3-coq_1.1.1-2_arm64.deb)
SHA1: 4df82b3ebbb851a571dd95cd0ad814117b4e5919
SHA256: 1662abc079fd43f6c3e1555630abb3751e0fdf7705749b67014700d441cbf104

Size: 599,264 bytes
why3-doc-html (why3-doc-html_1.1.1-2_all.deb)
SHA1: e23b2310c836cc9af98e0f93ba6de1ff94cc3e06
SHA256: 070e65a9d87896043962adf7dd60932088daf453255a2088fecf74917fc44a2d

Size: 355,672 bytes
why3-doc-pdf (why3-doc-pdf_1.1.1-2_all.deb)
SHA1: bb2d78a80029b721a7252519a8a8e6da6eb08caf
SHA256: 74730f775fbacd949298b746258127b16102e18ec0d0dd024ad41f8d78b00894

Size: 1,149,600 bytes
why3-examples (why3-examples_1.1.1-2_all.deb)
SHA1: fcbb9a4edbdb60d2d82af0880968ab2b5f74def2
SHA256: b6ea7e5b66676328a5b3dcdbf27acedb50e6a2c9c725537c6a8a559ced562a94

Size: 2,452,112 bytes

Other checksums

why3-dbgsym_1.1.1-2_arm64.deb
SHA1: 363a5d02ccb5149a05d52e8b580ac9c290e9f70b
Size: 5,472,444 bytes
libwhy3-ocaml-dev-dbgsym_1.1.1-2_arm64.deb
SHA1: fbb31c5a886566f2303460601da011b336159c3d
Size: 596,228 bytes

Submissions

putry3cz
Submitted
Fri, 11 Jan 2019 06:16:31 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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