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, 5 Feb 2019 06:15:04 +0000
Build-Path
/build/why3-0.88.2

First submitted
Wed, 3 Jan 2018 00:05:13 +0000
SHA1 of .buildinfo
051d96b79f1dbbc994742eb75e037cd422d585c5

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.2-1_arm64.deb)
SHA1: 4d05384a48a138974fbba4e364fc2a3219845910
SHA256: 221ccf1e5fcfde18da55078df509056432a7016543e46eaa3eef836f92b1a5cc

Size: 2,104,704 bytes
why3 (why3_0.88.2-1_arm64.deb)
SHA1: 3a4b4d93975d627f4e66369cb52509fdce8a299d
SHA256: ed39c61fd2fda9de4079909dd5d17307c30002f58aa980d2d1ea40466086f1ca

Size: 27,056,312 bytes
why3-coq (why3-coq_0.88.2-1_arm64.deb)
SHA1: 70cc47ac1cb69c203b16013214e635921cca13ee
SHA256: 3127a1fad733e9950e9b5c939ff8fc54537af9eaf2dab5b4e89a01c3ceb8d7e0

Size: 2,519,996 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: 28272d194e667464924e40efecf5a02153bf4e2f
Size: 4,958,536 bytes
why3-coq-dbgsym_0.88.2-1_arm64.deb
SHA1: a954c60c0fb312ed7eee8ec33d2a0df8455c7f79
Size: 530,876 bytes

Submissions

7vmrqaaw
Submitted
Wed, 3 Jan 2018 00:05:14 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1513113744"