why3_1.3.1-2_all.buildinfo (view)

Source
why3
Version
1.3.1-2
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 26 Jun 2020 10:46:51 +0000
Build-Path
/build/2/why3-1.3.1/2nd

First submitted
Fri, 26 Jun 2020 12:15:59 +0000
SHA1 of .buildinfo
22474da06b0765beb27bb8f67ca26948666667fd

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-2_i386.deb)
SHA1: 36220bc63cb3dd9f89f4d9a1f4066e2734682a08
SHA256: 53a30df3f90dad4e39bcdb0ea5197f930144704ad0d2c30ac7ac40302e489c37

Size: 8,283,820 bytes
why3 (why3_1.3.1-2_i386.deb)
SHA1: bdff79d87823044acaa576f48a17ed609b52d455
SHA256: a9952cd6e5cad03a693d764aef9d214195af63a39f25ae64971b35897a51ec1b

Size: 29,358,792 bytes
why3-coq ()
why3-doc-html (why3-doc-html_1.3.1-2_all.deb)
SHA1: cbb5b091e65d912a60faf9a7c7b53d4da04e7677
SHA256: 6852110c141c64c8a19ece020c963d8901b9b7821072475796d1704a873777a3

Size: 958,804 bytes
why3-doc-pdf (why3-doc-pdf_1.3.1-2_all.deb)
SHA1: 66d34f338e63f5daf6464a5f8b71000fd3756194
SHA256: 5d9e7f33ff69221cd9f22f2790f50836b2d377722f2f12847580200a84706bfe

Size: 1,057,652 bytes
why3-examples (why3-examples_1.3.1-2_all.deb)
SHA1: ac6cee6c6f4ea4e659d17d00c3c153d5b759a8c0
SHA256: 07dfe8be6b226f63b351a483848f3c534a1ca668128e86932616fcb3cc04e207

Size: 3,505,744 bytes

Other checksums

why3-dbgsym_1.3.1-2_i386.deb
SHA1: 679d1ae5c90b32e41b183e7a70bece6e05057bb5
Size: 7,502,824 bytes
libwhy3-ocaml-dev-dbgsym_1.3.1-2_i386.deb
SHA1: 30475d561eaaaa8086afc51ba75fe8aa138acc5e
Size: 578,536 bytes

Submissions

bqgep47r
Submitted
Fri, 26 Jun 2020 12:15:59 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


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