why3 (1.3.3-1)_1.3.3-1+b4_mips64el.buildinfo (view)

Source
why3 (1.3.3-1)
Version
1.3.3-1+b4
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Sat, 23 Jan 2021 18:03:28 +0000
Build-Path
/build/why3-wLoS6P/why3-1.3.3

First submitted
Sun, 24 Jan 2021 00:11:04 +0000
SHA1 of .buildinfo
134dd24a7991dd047e1e62cd471b611c64322f71

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.3-1+b4_mips64el.deb)
SHA1: 09f850a1fec00a3e73fcb501ad07bb7c4d839001
SHA256: e43f146b4155fc1c00f20ba5356b50971b4acda8a57e3f38bf7b336a687e5561

Size: 5,395,852 bytes
why3 (why3_1.3.3-1+b4_mips64el.deb)
SHA1: 41ec9b946e45103a0f4f1c74018c0ad4e62f8e35
SHA256: f33ab4517ef3d3a171ee45c9b49c88b57db18b700839ad97f9cd9443dad2e57c

Size: 87,014,776 bytes
why3-dbgsym (why3-dbgsym_1.3.3-1+b4_mips64el.deb)
SHA1: 1420ed2edbad39b0227add62969b3140a7646c32
SHA256: 87db5682fde05f233f4e5bbe687574d9228786314a22f1e9b2e09d7b827b7133

Size: 103,628 bytes

Other checksums

Submissions

vdhsafd3
Submitted
Sun, 24 Jan 2021 00:11:04 +0000
Signed by
0x4A55A111C7E90553

Environment


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