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, 14 May 2021 04:36:55 +0000
Build-Path
/build/why3-1.3.1

First submitted
Fri, 10 Apr 2020 22:49:44 +0000
SHA1 of .buildinfo
b21caefb984baf198cd18259ada978a00550b233

Binaries

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

Size: 8,284,648 bytes
why3 (why3_1.3.1-2_i386.deb)
SHA1: 98bbaacae82cdcba6f66d4ac98e6372c1c75bea2
SHA256: bf988c2a44cb06090359f613ebc24e134c9e778223f61be0ff222ed7f2bf23c1

Size: 29,357,904 bytes
why3-coq ()
why3-doc-html (why3-doc-html_1.3.1-2_all.deb)
SHA1: 15d856de6e1f5311683ddf8b01ff79c62d1c4d8b
SHA256: 751c22eb43be833fee53ce60fcfbe868a5857c086896b92d3249076b8a451ada

Size: 948,904 bytes
why3-doc-pdf (why3-doc-pdf_1.3.1-2_all.deb)
SHA1: 8bb64f8ac4472152af287ded24767a89ad0e7e88
SHA256: 8f61d04d36bee9831997273555cb1ccb8e2a0128abd9e12289681d44fe238ad1

Size: 1,055,812 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: 21cf412935dbb12db34dfcc2313e68555583c81e
Size: 7,479,268 bytes
libwhy3-ocaml-dev-dbgsym_1.3.1-2_i386.deb
SHA1: aabd33b54c67c5bdb14ade56f919a1023e4225d5
Size: 579,400 bytes

Submissions

sq9onrze
Submitted
Fri, 10 Apr 2020 22:49:44 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


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