why3_1.0.0-2_all.buildinfo (view)

Source
why3
Version
1.0.0-2
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 26 Oct 2019 15:03:23 +0000
Build-Path
/build/1st/why3-1.0.0

First submitted
Sun, 23 Sep 2018 10:58:03 +0000
SHA1 of .buildinfo
03998e90b9fbef06454e614f2decbd10aa56f2f7

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-2_i386.deb)
SHA1: 3c75e82f5b3daf83e7f086b0212ef33cd7688d9b
SHA256: d2eb7481510b054983ce8e25c56edcf6bd74d873c413e0b930fee509543f3c44

Size: 3,485,548 bytes
why3 (why3_1.0.0-2_i386.deb)
SHA1: 9089eb0a3a89d3d4546666b45dda0cc6aa31fab3
SHA256: a3b7f09fc9e90d10c27b313c9fa16ceb19f49d4c892f3e98933e884c224062c5

Size: 17,249,196 bytes
why3-coq (why3-coq_1.0.0-2_i386.deb)
SHA1: d5392971ffb9c07c160ae6a236d8818ab91d9ed1
SHA256: f09b297afc2a0dc08ceb2a0bd97d933448d5d5cd8a9bfb53e903c0addf001f69

Size: 560,712 bytes
why3-doc-html (why3-doc-html_1.0.0-2_all.deb)
SHA1: 913c76efe097690ffaa1164a36dd93a9940fe6b1
SHA256: 85b3a58961aae4f439c4d10a4cd95601bc01a33c507c2aca5656598de67fa853

Size: 331,832 bytes
why3-doc-pdf (why3-doc-pdf_1.0.0-2_all.deb)
SHA1: 61e308c02c0475e1ec1e8a116ed2cdb5921890db
SHA256: 2273161472f02dbd49283bccdb7c9328f33deb358aad99639ddc8b6823b2f0a5

Size: 1,071,872 bytes
why3-examples (why3-examples_1.0.0-2_all.deb)
SHA1: 6b84165c9b87de0e3c59d58f2434afc73ecdef1f
SHA256: d541d549046d5cee89de60c17a70314b2db9f103a9424bce761375c9d6bc4818

Size: 2,486,076 bytes

Other checksums

why3-dbgsym_1.0.0-2_i386.deb
SHA1: b6ec08befac882f1127f3da96480a66e641165b4
Size: 5,736,060 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-2_i386.deb
SHA1: 1b971804cae43b1a3d6c2cbecb92b1951fb896de
Size: 486,140 bytes

Submissions

j3d47axt
Submitted
Sun, 23 Sep 2018 10:58:04 +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="1534109384"