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
Wed, 27 Sep 2017 03:36:20 +0000
Build-Path
/build/why3-0.87.3/2nd

First submitted
Wed, 27 Sep 2017 04:15:44 +0000
SHA1 of .buildinfo
5cf1f8f219184bdd74a1c1ab89e6b48122263b04

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_arm64.deb)
SHA1: f1f9397ad9d03b905f856e53c11eb62b02d10cc8
SHA256: afc70660acd86c26eb51da16422f4255e9902322ed3a15df3709f36bba0b1cd5

Size: 5,020,574 bytes
why3 (why3_0.87.3-2_arm64.deb)
SHA1: b74956f5e5b26f94d65eb1b8ec453eb6e1c6f1d5
SHA256: 35c3558771c9cfb17c77c43ee7adda94235a578f55cf1665ccaf40d75f0fd37d

Size: 27,300,144 bytes
why3-coq (why3-coq_0.87.3-2_arm64.deb)
SHA1: 7023a688f49a2b2e87d198d90ae9c34dc7c5599d
SHA256: 8ef5e22072e3fe7eca4b3c55cd892bf7365b0431d7ea8c46f6c1d63bd8b9da20

Size: 5,635,034 bytes
why3-doc-html (why3-doc-html_0.87.3-2_all.deb)
SHA1: 48357234f4536793c0e62cb7495d0e3d19b67c6d
SHA256: 8b4d1724cdb980fbf42827c3154f5927cb9cb974b3bac31fc629d18209bc7f25

Size: 725,048 bytes
why3-doc-pdf (why3-doc-pdf_0.87.3-2_all.deb)
SHA1: 1d1fa32bfedb3140c7ee868dc17c7aedb31f8f6c
SHA256: 9f3ae2885b80365f8c7b5461766ac2a1d7bdd57ff81425e9773e5008ed948d0a

Size: 1,228,908 bytes
why3-examples (why3-examples_0.87.3-2_all.deb)
SHA1: 1fef7d967386d525280d00564a9b1a418b54bf62
SHA256: d076e123815a2c10747e9abe866c0296c6d984f5aaeb17d2823c444aebdecf27

Size: 1,750,660 bytes

Other checksums

why3-dbgsym_0.87.3-2_arm64.deb
SHA1: 6baeab95c4e00d8ba29f6573f1f127382e06db83
Size: 4,788,154 bytes
why3-coq-dbgsym_0.87.3-2_arm64.deb
SHA1: 5c0b31216996820364759d122128d57b35689110
Size: 510,694 bytes

Submissions

tqtj3ztt
Submitted
Wed, 27 Sep 2017 04:15:44 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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