why3_0.88.3-2_all.buildinfo (view)

Source
why3
Version
0.88.3-2
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 12 May 2019 07:17:54 +0000
Build-Path
/build/1st/why3-0.88.3

First submitted
Mon, 9 Apr 2018 01:57:41 +0000
SHA1 of .buildinfo
7d5fbccaab4396e45191c43cf5c852a60ff4e863

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-2_arm64.deb)
SHA1: 6163b18fa08aa57882ce32e06f4d2dc23298898f
SHA256: 87eeee25f9b8f356f57b60866dff188085dbb9bc327726e12aea841277302d4c

Size: 2,111,984 bytes
why3 (why3_0.88.3-2_arm64.deb)
SHA1: 9390fd8b358da6e53894095a203b6c2615ae6d08
SHA256: 8c346d0812c73580fa158c214f80325cd8e0f351b115ec4b270265f791448283

Size: 26,726,292 bytes
why3-coq (why3-coq_0.88.3-2_arm64.deb)
SHA1: 0637cf336e6f145de37712fe159dde36bb9f1fb7
SHA256: c0ef8275e734d98167cb63833fa10a8e79e6f1e7c0e13ebc70d99c58f810ec5c

Size: 2,518,424 bytes
why3-doc-html (why3-doc-html_0.88.3-2_all.deb)
SHA1: c6fbaa198ffaf81deea1ed8e26d74e6f99667ff2
SHA256: 9aef090a799f5c15da82e33112cd499d17a423b25ac77f6d52f393de3dfe4046

Size: 445,228 bytes
why3-doc-pdf (why3-doc-pdf_0.88.3-2_all.deb)
SHA1: 802ec03886607c493a706f192cdf5d68e56c5e2d
SHA256: 698ffb470c97747158e816b985844fc9556fa8a2d34c4bbdae33d4b415c08830

Size: 1,250,624 bytes
why3-examples (why3-examples_0.88.3-2_all.deb)
SHA1: 0ba7e78bbb8da880c7337daf5808da8ea8319654
SHA256: 84824fd368df4ba00503086d6edf0aa8eb55e6b65be25a75b66d0eb723998933

Size: 1,626,120 bytes

Other checksums

why3-dbgsym_0.88.3-2_arm64.deb
SHA1: f900dfac280b60c80a339d9c6f7e81d92d284ff6
Size: 4,971,348 bytes
why3-coq-dbgsym_0.88.3-2_arm64.deb
SHA1: a965abca2cb0ef3217bd68202f78ce58d89b39f8
Size: 531,952 bytes

Submissions

4wjrfxaw
Submitted
Mon, 9 Apr 2018 01:57:42 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why3_0.88.3-2=/build/1st/why3-0.88.3"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1523094841"