why3_1.2.1-4_ppc64el.buildinfo (view)

Source
why3
Version
1.2.1-4
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sun, 8 Mar 2020 16:19:07 +0000
Build-Path
/build/why3-IibkmB/why3-1.2.1

First submitted
Sun, 8 Mar 2020 18:15:25 +0000
SHA1 of .buildinfo
83d0cf9998ad565d0f972cd50e65959cf180f4e6

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-4_ppc64el.deb)
SHA1: 2898dedd08b2ab96d34ef1f900a3c2e275c415b4
SHA256: ef77890995ff60c824c4171a43f015ea68a4f96f49b34efd6494e5157b6b0c08

Size: 8,259,844 bytes
why3 (why3_1.2.1-4_ppc64el.deb)
SHA1: 7cd0fa6b3a6b1f7a2f86adec1239a0e14697bd95
SHA256: 9846c22ea80ca048036de1b9f258b2d1e699c36f1ad183ae005515d411e7c241

Size: 33,127,748 bytes
why3-coq (why3-coq_1.2.1-4_ppc64el.deb)
SHA1: 4d5f187711c460eb3901568b3b3f534d9044c789
SHA256: 363c413fc1e1c2ac01eb9386f200274d315f8221efe4fc7803ee3e510b290d25

Size: 591,800 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.1-4_ppc64el.deb
SHA1: 2aff394bd131b98bcbc8626b69c025b48dfc997b
Size: 4,977,956 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-4_ppc64el.deb
SHA1: 636c858ef0d37769b10e53d4bcd174d7fe1cb32b
Size: 430,476 bytes

Submissions

ire37dqp
Submitted
Sun, 8 Mar 2020 18:15:26 +0000
Signed by
0xAA4B2251A9397852

Environment


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