why3 (0.88.3-2)_0.88.3-2+b1_armel.buildinfo (view)

Source
why3 (0.88.3-2)
Version
0.88.3-2+b1
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Sun, 6 May 2018 08:06:35 +0000
Build-Path
/build/why3-oP7LxJ/why3-0.88.3

First submitted
Fri, 26 Oct 2018 10:47:01 +0000
SHA1 of .buildinfo
c123873ab1b3e4a4f6af2f8f96a3caf88df7d807

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-2+b1_armel.deb)
SHA1: 188c7b68c3410ef5d60df1017fd08d208b37c5d4
SHA256: 77884a20755216770273a798ab94eb0995f1be806f1f0817f2fc900d830bc758

Size: 3,477,492 bytes
why3 (why3_0.88.3-2+b1_armel.deb)
SHA1: 7dceb27a109a62e8fbeba544394af0941ef15b9a
SHA256: 3d033b5f412c7796bd33273e746234b77b30f6902d09303f00e92d1752451a0b

Size: 43,110,080 bytes
why3-coq (why3-coq_0.88.3-2+b1_armel.deb)
SHA1: c9cc4061b7ee5092d1a8700c824958e9a4c40cf2
SHA256: 2e3836ffa3b2b76fff9f0e24210ddba3eac59e847555d9a0c71b1384066afe2a

Size: 3,951,956 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.88.3-2+b1_armel.deb
SHA1: 7964a617834219bd2611ee054fb6822924491729
Size: 82,524 bytes

Submissions

47ee9tfo
Submitted
Fri, 26 Oct 2018 10:47:01 +0000
Signed by
0x0D38788588CEE7B3

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1525592570"