why3_1.3.1-2_i386.buildinfo (view)

Source
why3
Version
1.3.1-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 7 Apr 2020 19:36:26 +0000
Build-Path
/build/why3-xQm2sA/why3-1.3.1

First submitted
Wed, 8 Apr 2020 00:12:24 +0000
SHA1 of .buildinfo
79c5f2cb0a72fdb8299f538b69d276ed9b138a89

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-2_i386.deb)
SHA1: 0cd6a49f5049b997f6f37d4f85dc391548b05317
SHA256: dafe7f19a21b7f006683aae1670053a52a51cf1e4380488ef2c5bd0dbfe6d332

Size: 8,288,464 bytes
why3 (why3_1.3.1-2_i386.deb)
SHA1: 5039b092c1d9c8d861dfa1751f25976a452cb59a
SHA256: fa098c22a780eb8f47d71fae03dead11cb4874beaa5ddb525adad7872c6fc435

Size: 29,365,384 bytes
why3-coq ()
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.3.1-2_i386.deb
SHA1: 6b4a84470445baf91c30fd097a5fdb3e7bb0bc6c
Size: 7,537,644 bytes
libwhy3-ocaml-dev-dbgsym_1.3.1-2_i386.deb
SHA1: 9a4be85ea85ab0d4ac5f165e8fb40f231e8a68b4
Size: 579,452 bytes

Submissions

4xc77c7r
Submitted
Wed, 8 Apr 2020 00:12:24 +0000
Signed by
0xDC30804AC2864A83

Environment


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