why3 (1.2.1-2)_1.2.1-2+b1_ppc64el.buildinfo (view)

Source
why3 (1.2.1-2)
Version
1.2.1-2+b1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Fri, 8 Nov 2019 19:31:53 +0000
Build-Path
/build/why3-t0VXtV/why3-1.2.1

First submitted
Sat, 9 Nov 2019 01:18:43 +0000
SHA1 of .buildinfo
37e9722100bbd664a439f0215b58c11666e709be

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-2+b1_ppc64el.deb)
SHA1: 8a2800028db1ee385d1e82baa1062287201d9f75
SHA256: ca83c3a703d4bbdd6e95543f4de0fdb4a410b337b84fa2bf93c9f02f9762fff9

Size: 8,294,540 bytes
why3 (why3_1.2.1-2+b1_ppc64el.deb)
SHA1: 872fa5009a5d4b9bc6b79dd59e406f5431568208
SHA256: df562fc0b803862b4009c66426a41d674694d2ad02769170bb0ea12cac7b2fc2

Size: 33,173,340 bytes
why3-coq (why3-coq_1.2.1-2+b1_ppc64el.deb)
SHA1: 516cf4594696eac8784ea58c8cb0d733ad8f32bb
SHA256: 0af0cf3613e9b276bfb6b9cb575b8f661c2386de9e50be31b98ed2c5eedde53b

Size: 596,196 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.1-2+b1_ppc64el.deb
SHA1: 055d7b29a4cd1b7f20c17d60a3803b66d18cd538
Size: 5,041,416 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-2+b1_ppc64el.deb
SHA1: 9f105c9498ec8a8316fc5c76dcf3fcb394dbe857
Size: 431,296 bytes

Submissions

bhuhi93c
Submitted
Sat, 9 Nov 2019 01:18:45 +0000
Signed by
0xAA4B2251A9397852

Environment


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