why3_0.87.3-2_all.buildinfo (view)

Source
why3
Version
0.87.3-2
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 22 Dec 2018 00:20:24 +0000
Build-Path
/build/1st/why3-0.87.3

First submitted
Sat, 18 Nov 2017 18:57:39 +0000
SHA1 of .buildinfo
d918446ae3e001078d8559d0fc4bef879a61b830

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_arm64.deb)
SHA1: d1d296270a421302014f5e07fa6fff9457ca3161
SHA256: 50a3a775be32b7a95f150c8d8f0d4794b7d8eada67366daa21d47c16bd2fc77f

Size: 5,024,872 bytes
why3 (why3_0.87.3-2_arm64.deb)
SHA1: 528b47a266a2cb8868d25ea3f0eb1c3eed49fbba
SHA256: 06015ad4e76015aedbb686a14700a7ddf0df7ef04dfd56a274d7d62557c0d79d

Size: 27,296,296 bytes
why3-coq (why3-coq_0.87.3-2_arm64.deb)
SHA1: 593305aed1f31007bd8206e7189458f673ba7910
SHA256: b48fc11ebc36ee0702d959877e197043df61508715fc886f266240f0965ed2a7

Size: 5,636,700 bytes
why3-doc-html (why3-doc-html_0.87.3-2_all.deb)
SHA1: 0927ad251a6b2ca542169a5ef74e5f5ff7e66ff2
SHA256: 8e5ca782d58c14ad6fccfb4bbf57a89788dd8ffd0c1bdc7e856b53133d38aae8

Size: 725,028 bytes
why3-doc-pdf (why3-doc-pdf_0.87.3-2_all.deb)
SHA1: 45fa81ad32bd115dfbfddcd1a6f520ff617611de
SHA256: 65850919fde8aee117ae31009e40b923db80104f4f8131628ab4de02b88ef077

Size: 1,228,992 bytes
why3-examples (why3-examples_0.87.3-2_all.deb)
SHA1: 61de2445577c228dcbd9c44ca8c9aeb1a14bd815
SHA256: 9b2c26404a4a41a2a7b37233bec7e4833b68f4197ac0413bc6c2e0d092463217

Size: 1,747,000 bytes

Other checksums

why3-dbgsym_0.87.3-2_arm64.deb
SHA1: d0e518b6ba3a66c6e3c96949c4640b6a6772d1c5
Size: 4,763,872 bytes
why3-coq-dbgsym_0.87.3-2_arm64.deb
SHA1: 86593b00acce115d132da1d60472ff5b2db5efe1
Size: 510,196 bytes

Submissions

r3q94uow
Submitted
Sat, 18 Nov 2017 18:57:39 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why3_0.87.3-2=/build/1st/why3-0.87.3"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1485028928"