why3_1.0.0-1_all.buildinfo (view)

Source
why3
Version
1.0.0-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Mon, 26 Aug 2019 00:51:15 +0000
Build-Path
/build/why3-1.0.0

First submitted
Mon, 23 Jul 2018 18:39:20 +0000
SHA1 of .buildinfo
dcac62bbb3e77db79191898430501b9aabe1ca5d

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-1_i386.deb)
SHA1: 8f72b6fb9ac683e9409450f61f7308323c4b423f
SHA256: c0c8c432642e680aa0a0a80be6a8c5c700b1bfee890d382e700034b6bebf4e8a

Size: 3,482,152 bytes
why3 (why3_1.0.0-1_i386.deb)
SHA1: 92a542b27ba4340faf2fa7c12d71eab0131868dc
SHA256: 75db0a41d84e19222525a7a6ef17b9524716f277aa0a3b467a06230a5d9c3305

Size: 17,262,572 bytes
why3-coq (why3-coq_1.0.0-1_i386.deb)
SHA1: 9ba4fd4dd3a34e4a6cf36610c9a942f7b21f3898
SHA256: 755f74d70a2f48120841cebd2857bda5571007c54b279ff0f0701acf84339d22

Size: 560,524 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: 332f90cda55b6dcdbd96b1d2e5ad8e87ea650003
SHA256: fe47f6de291c58de194bcde394af52b808a18698b22929972f7a6a70568adf66

Size: 1,071,688 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_i386.deb
SHA1: 94bce94bf5610b7c552be1d9c3b578178772ea02
Size: 5,781,544 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-1_i386.deb
SHA1: cc394131937e86cd0a29e77a4214b44ba13da02b
Size: 487,352 bytes

Submissions

9dsau3uy
Submitted
Mon, 23 Jul 2018 18:39:21 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


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