why3_1.6.0-1_i386.buildinfo (view)

Source
why3
Version
1.6.0-1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 8 Sep 2023 06:27:24 +0000
Build-Path
/build/reproducible-path/why3-1.6.0

First submitted
Fri, 8 Sep 2023 12:13:57 +0000
SHA1 of .buildinfo
7a67adf5cb6cb103884e471130d8eb9939780c3c

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.6.0-1_i386.deb)
SHA1: b9e7de19e539d79f9fe7fa81fa2b06e3c7a884ed
SHA256: ecae9cea57af8fe79e2f0e1c1180041e95011846f8938a6e1da336494ca53227

Size: 10,653,612 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.6.0-1_i386.deb)
SHA1: be6b0ee63f2496701aef0b691196784e1fef8fa2
SHA256: 5915253cbe4d0507b6330c2f8b2958759cb4d94054c06186524af959c3ec7fe1

Size: 802,304 bytes
why3 (why3_1.6.0-1_i386.deb)
SHA1: 2911fbad95a71988879cb43adfce9bccf1bcec8e
SHA256: a974e0f5db412e950f9aeb08698b33d4ff3a6b9b9568fd7589a2ea4a8f3e9356

Size: 9,567,912 bytes
why3-dbgsym (why3-dbgsym_1.6.0-1_i386.deb)
SHA1: 20399d57a32c08d2cba9c6307581bcce114c3ab1
SHA256: c3bf96fd38b11bb542cb05bfae6d3e3e0bd553ad70db9be3aa4c53730dccfeb1

Size: 2,624,108 bytes

Other checksums

Submissions

49cyvtqv
Submitted
Fri, 8 Sep 2023 12:13:58 +0000
Signed by
0xE9B19B9E8658FCDC

Environment


DEB_BUILD_OPTIONS="parallel=6"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1694149791"