why3_0.88.2-1_all.buildinfo (view)

Source
why3
Version
0.88.2-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 15 Jan 2019 12:55:23 +0000
Build-Path
/build/1st/why3-0.88.2

First submitted
Wed, 13 Dec 2017 07:47:46 +0000
SHA1 of .buildinfo
81bd04cbdb98cfd5e2bcb7a1a7583a6cb86195c4

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.2-1_arm64.deb)
SHA1: 082d0175bc953500cf1a2d1a4732a93a4e510f48
SHA256: b2c7adf750d0fe86b143a14725b649c343a158fdeaca4037c0bba90f748482c5

Size: 2,113,984 bytes
why3 (why3_0.88.2-1_arm64.deb)
SHA1: 182ace670b5fd43c82a26207711a20d11f4bfe1b
SHA256: 57313405c67b6bd5617c1618e9486eede71d5437f7fdd4f22c26a95d49a7f025

Size: 27,061,676 bytes
why3-coq (why3-coq_0.88.2-1_arm64.deb)
SHA1: 55b821f42d48fb26420dcd4916333c0f6f919669
SHA256: 2c4c6eac1a53aee147ff862fa402770336767c4b0bb04bd7ea4c55e46e4b4625

Size: 2,518,140 bytes
why3-doc-html (why3-doc-html_0.88.2-1_all.deb)
SHA1: cb022dee7488416e07c4c64e0bdb00fca61f577e
SHA256: 8474ed290f3ca6b371eb70570191644c43cdc57f5a613a4c0b6c1df828ad503b

Size: 444,848 bytes
why3-doc-pdf (why3-doc-pdf_0.88.2-1_all.deb)
SHA1: f5e05312f218c149b8bcc55ff80f98ee44a2649c
SHA256: 9206af1a3a8c3912786d3a6b96a7e41bee600f42ad67b6214c6e5a61d05faafb

Size: 1,249,404 bytes
why3-examples (why3-examples_0.88.2-1_all.deb)
SHA1: e4a6a31d89b081b4c84307a063c16b78015060a6
SHA256: aee69f9d8ccb893fb8dd330e885474deb7e961fdd886ebf77eff97a49ab4d972

Size: 2,037,744 bytes

Other checksums

why3-dbgsym_0.88.2-1_arm64.deb
SHA1: c1d75a9d163aa4d9b5558d5492094a5964f9f7fc
Size: 5,045,836 bytes
why3-coq-dbgsym_0.88.2-1_arm64.deb
SHA1: 90005553f1a807920cd57448983c612193a2c6b3
Size: 532,000 bytes

Submissions

3nai3fhc
Submitted
Wed, 13 Dec 2017 07:47:47 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why3_0.88.2-1=/build/1st/why3-0.88.2"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1513113744"