why3_0.88.3-2_all.buildinfo (view)

Source
why3
Version
0.88.3-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 17 May 2019 14:56:35 +0000
Build-Path
/build/why3-0.88.3

First submitted
Sat, 14 Apr 2018 08:34:31 +0000
SHA1 of .buildinfo
7273ba6e07d7ea610e053e9a4cbbe36a8b772461

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-2_amd64.deb)
SHA1: 9beeb6c8bf773d3cce94f24faa4edd21ee056017
SHA256: d5ffc5c524fc3f8a777092d9859a7e2f708d835ffb7077ed72cfd0b55bf1a334

Size: 1,863,184 bytes
why3 (why3_0.88.3-2_amd64.deb)
SHA1: 0e5ab99785ead497a04febcee7b6c9835e0899c8
SHA256: db90d3cf9aa72c66a1179f850fb08431e17b25926238880f3f78abf8680a8c4a

Size: 20,804,168 bytes
why3-coq (why3-coq_0.88.3-2_amd64.deb)
SHA1: 84247d5df07b72927dc25fca72a7dc8a6a8f7e7a
SHA256: 43e20376bf7751d0e8aa8ed2a074d4fc78db2aee1317add716f7590ddad45bc5

Size: 2,144,796 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_amd64.deb
SHA1: 3ba9dbc30bb6931180f0ebdb1c1f2f2c5ea0c16e
Size: 4,576,332 bytes
why3-coq-dbgsym_0.88.3-2_amd64.deb
SHA1: d8d8b0998adf096a7722b3053abdf4b4aa3c393a
Size: 448,056 bytes

Submissions

hideszjv
Submitted
Sat, 14 Apr 2018 08:34:31 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1523094841"