why3_1.1.1-2_all.buildinfo (view)

Source
why3
Version
1.1.1-2
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 15 Feb 2020 18:56:04 +0000
Build-Path
/build/1st/why3-1.1.1

First submitted
Sun, 13 Jan 2019 13:42:15 +0000
SHA1 of .buildinfo
0452760f21de20d9474870f158129e092ff73c5e

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-2_i386.deb)
SHA1: 5affa67126fb92dffa64427a35f03e3a604f1eee
SHA256: d119d848541b22377c4d42629d0b8825c13a7925b760e5e422a1062c7e4f82e8

Size: 3,524,696 bytes
why3 (why3_1.1.1-2_i386.deb)
SHA1: 535e8b6d1f3d0d92d03048041e1f41aeac1d9238
SHA256: b1df750f870d77d2ab532551247d2da3d29fed5dfa851d637af17e5f70448992

Size: 14,705,412 bytes
why3-coq (why3-coq_1.1.1-2_i386.deb)
SHA1: f93a59035f6cc0e2f1618a83cead0fe928872172
SHA256: c17522056cbff0f915914226d9902645d0ddc2f4405069963a0f0ee56df8b716

Size: 597,760 bytes
why3-doc-html (why3-doc-html_1.1.1-2_all.deb)
SHA1: e23b2310c836cc9af98e0f93ba6de1ff94cc3e06
SHA256: 070e65a9d87896043962adf7dd60932088daf453255a2088fecf74917fc44a2d

Size: 355,672 bytes
why3-doc-pdf (why3-doc-pdf_1.1.1-2_all.deb)
SHA1: bb2d78a80029b721a7252519a8a8e6da6eb08caf
SHA256: 74730f775fbacd949298b746258127b16102e18ec0d0dd024ad41f8d78b00894

Size: 1,149,600 bytes
why3-examples (why3-examples_1.1.1-2_all.deb)
SHA1: fcbb9a4edbdb60d2d82af0880968ab2b5f74def2
SHA256: b6ea7e5b66676328a5b3dcdbf27acedb50e6a2c9c725537c6a8a559ced562a94

Size: 2,452,112 bytes

Other checksums

why3-dbgsym_1.1.1-2_i386.deb
SHA1: c2261e6c4651f771819801a5210374cb0246959a
Size: 5,066,888 bytes
libwhy3-ocaml-dev-dbgsym_1.1.1-2_i386.deb
SHA1: f6499ff1962bf144121527e2894186ca976693f7
Size: 490,280 bytes

Submissions

uwegou3j
Submitted
Sun, 13 Jan 2019 13:42:15 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1547147544"