why3_1.1.1-4_armel.buildinfo (view)

Source
why3
Version
1.1.1-4
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Thu, 7 Feb 2019 09:26:30 +0000
Build-Path
/build/why3-EwlZgM/why3-1.1.1

First submitted
Thu, 7 Feb 2019 12:11:46 +0000
SHA1 of .buildinfo
6dc7057d4cc024e00328116d8193a971da322b7a

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-4_armel.deb)
SHA1: a18b065ea3ec0c3f8ff5574800e5e9e20fb65645
SHA256: 2b5866358811525cdd42e5e0ef213b1eef4cd6b1f8eec4a280c1cf375b8a0679

Size: 3,996,952 bytes
why3 (why3_1.1.1-4_armel.deb)
SHA1: 71626c980447c742d9d45d0d32d815ba11036ebc
SHA256: 390016297f7d8b7a36254ee0aa16bfc486eeecf09665532dc99a71bfd43954e8

Size: 53,169,236 bytes
why3-coq (why3-coq_1.1.1-4_armel.deb)
SHA1: 765ec9e024a59af033a2bb75e998d6a7f5ab02e1
SHA256: 8ce3d2e162e0e66ec43ce07e37af479a1b35d2f1ba29b6d15bafdae3c12188cf

Size: 594,192 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.1-4_armel.deb
SHA1: a1c01faf618e77f9f7741b6c6552602ef50eedec
Size: 53,168 bytes

Submissions

t7vjtvm9
Submitted
Thu, 7 Feb 2019 12:11:46 +0000
Signed by
0x49616C2BAC080B32

Environment


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