why3_1.0.0-1_all.buildinfo (view)

Source
why3
Version
1.0.0-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 31 Jul 2019 11:00:58 +0000
Build-Path
/build/1st/why3-1.0.0

First submitted
Thu, 28 Jun 2018 06:14:21 +0000
SHA1 of .buildinfo
870de44b0044d51625b2843337bbe2985b95ffeb

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-1_arm64.deb)
SHA1: e2e631d5f79fc26c887f3935a6f14f8eec0fef0b
SHA256: 0df1708696f354547dcea25824b7cffe54179a613b3178aed9f2cc6f5e0b1204

Size: 4,659,392 bytes
why3 (why3_1.0.0-1_arm64.deb)
SHA1: 104918a4a012a2284b9dcec83f54c96344c29a39
SHA256: 9988822a6e9fea21d902b865f612d8af6d405bc5773f39cd5e23aeaf3f847c69

Size: 35,904,704 bytes
why3-coq (why3-coq_1.0.0-1_arm64.deb)
SHA1: 5a89daf27ab8fd19b1102cf9cb042f2e707147da
SHA256: c9983081da2cbf76ba398bad8164726ee73c820989c6f7d9a1a7196c59c8a391

Size: 561,432 bytes
why3-doc-html (why3-doc-html_1.0.0-1_all.deb)
SHA1: c67c74678d4c4a053d9f89fc8c923034f1eac379
SHA256: afb6c9e54c8b1ed1d5f7b68f79dc250971e5640546d55e6c5ddb4fe053529561

Size: 331,752 bytes
why3-doc-pdf (why3-doc-pdf_1.0.0-1_all.deb)
SHA1: c8e0321143b74b3dbe99cfcac5cc29cb6870d858
SHA256: b0a6bae206bf6d2e0cd8b64450725fad141125b1c07d62b6735a5db246502d2a

Size: 1,072,648 bytes
why3-examples (why3-examples_1.0.0-1_all.deb)
SHA1: c9dbe166918b57a140a06edef31d739153706af7
SHA256: 58c7805cf18c5e0fd02e33fbae828f97b9b4c1e6fc47438a85c39781f932cf35

Size: 2,485,884 bytes

Other checksums

why3-dbgsym_1.0.0-1_arm64.deb
SHA1: c6e3e784a2f10d723bf7b55da68d4f44f817bc36
Size: 6,354,960 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-1_arm64.deb
SHA1: 1850326c375dc686086e9e49456d53bd8cb9fa11
Size: 594,344 bytes

Submissions

wgu9ypfm
Submitted
Thu, 28 Jun 2018 06:14:21 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why3_1.0.0-1=/build/1st/why3-1.0.0"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1530130773"