why3_1.1.0-1_armel.buildinfo (view)

Source
why3
Version
1.1.0-1
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Mon, 5 Nov 2018 22:18:55 +0000
Build-Path
/build/why3-gUlAeu/why3-1.1.0

First submitted
Tue, 6 Nov 2018 09:09:18 +0000
SHA1 of .buildinfo
4f7090261d4662ab0182c270b371e45b24498a30

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.0-1_armel.deb)
SHA1: 4ba609ccc0afa9ea720f20a107a55a282feb7d95
SHA256: 0ee59e906f528832dabf26be3431ff4a37d22ec573c26fd747b205c3bd130d5b

Size: 4,002,292 bytes
why3 (why3_1.1.0-1_armel.deb)
SHA1: 5307ebc1af9d1fdf42f32ca0ccf0b3f8632ddac8
SHA256: 8c617888a0844dc595df27a6252c715da08f37cd77750346f161cb596134e958

Size: 53,251,900 bytes
why3-coq (why3-coq_1.1.0-1_armel.deb)
SHA1: cfa5902c59331451b565dcb92f2fd34fcfb334fc
SHA256: 40177768b1fc7e7db4615968c4539f979c2aae57b3c4d054c562cdb6be62ce37

Size: 587,972 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.0-1_armel.deb
SHA1: 12287cfefa624a40017339d8b7cc63f48df0722e
Size: 56,084 bytes

Submissions

dedrczd7
Submitted
Tue, 6 Nov 2018 09:09:18 +0000
Signed by
0x49616C2BAC080B32

Environment


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