why3 (1.2.1-2)_1.2.1-2+b2_i386.buildinfo (view)

Source
why3 (1.2.1-2)
Version
1.2.1-2+b2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 3 Dec 2019 14:05:37 +0000
Build-Path
/build/why3-9w4kHW/why3-1.2.1

First submitted
Tue, 3 Dec 2019 18:31:47 +0000
SHA1 of .buildinfo
9f8d205896dffa472e0c2c758bf8b826d03d7dd0

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-2+b2_i386.deb)
SHA1: 915a57784b61b411740d71fbe8bebad35a82511a
SHA256: 702bac3eb26b2bd948ee54c465daadf1d00fe9271a1a4e57a4318daa54673ed4

Size: 7,647,628 bytes
why3 (why3_1.2.1-2+b2_i386.deb)
SHA1: f3dcdfa358d43b1fe78dbff7135559b76f03a798
SHA256: 221385075d34a0b6ae7fc335ade52f66f7d2ec26ba55fc4ca4eab4d701b0c2db

Size: 26,811,688 bytes
why3-coq (why3-coq_1.2.1-2+b2_i386.deb)
SHA1: 36ba66c8ad578d144a15bace4782392c23b6518c
SHA256: 6cec45e8c4550c2ce4d056d86f65e8d5f650af7f34da9d2bc8357d25577a46f7

Size: 602,216 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.1-2+b2_i386.deb
SHA1: 168ed77f39e2ced6aff88e8235946a6de5f2d22a
Size: 6,465,704 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-2+b2_i386.deb
SHA1: 0610292864eb6ff54fad402df90572e69f8af275
Size: 527,780 bytes

Submissions

dwxdpqzb
Submitted
Tue, 3 Dec 2019 18:31:48 +0000
Signed by
0xB6798C98C3897D0D

Environment


DEB_BUILD_OPTIONS="parallel=4"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1575381721"