why3 (1.3.1-3)_1.3.1-3+b1_i386.buildinfo (view)

Source
why3 (1.3.1-3)
Version
1.3.1-3+b1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Thu, 20 Aug 2020 08:57:47 +0000
Build-Path
/build/why3-ayDOKS/why3-1.3.1

First submitted
Thu, 20 Aug 2020 12:19:11 +0000
SHA1 of .buildinfo
0cb59c662d372e28621b35d52dcedbe7440cf0fa

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-3+b1_i386.deb)
SHA1: 71bb60856d619d562ac1b5b2632a2f5357321431
SHA256: e4548b3f9dece23a08d6c3e13bf9b8ea171fd9de5f1d18e9c65a2704ce12378b

Size: 8,284,964 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.1-3+b1_i386.deb)
SHA1: 1364bd058033ec7ab9b6c1c36538d016e70162fe
SHA256: 1dec375f2cac7eb84b1e6abc387f9b1f8a6c562b49cb092193eec8e641ef511d

Size: 577,852 bytes
why3 (why3_1.3.1-3+b1_i386.deb)
SHA1: 049560371bb67bb87d7be9b5106e9034083f544e
SHA256: bc04348df4cccba504f51f26e4c9e0e5f1b32e27adb1227c1d135b5888d97671

Size: 29,371,232 bytes
why3-dbgsym (why3-dbgsym_1.3.1-3+b1_i386.deb)
SHA1: 23ff0eedbc567655409d44e8dca659b7a11e2f7e
SHA256: 4dfae65a9cb69be8208956d3d98ff33dd397cf7999abed95bc502bdc593ee730

Size: 7,445,632 bytes

Other checksums

Submissions

eaekvkdt
Submitted
Thu, 20 Aug 2020 12:19:11 +0000
Signed by
0xDC30804AC2864A83

Environment


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