why3_0.88.3-3_armhf.buildinfo (view)

Source
why3
Version
0.88.3-3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 27 May 2018 13:04:59 +0000
Build-Path
/build/why3-4deixA/why3-0.88.3

First submitted
Fri, 26 Oct 2018 15:35:07 +0000
SHA1 of .buildinfo
03c6b70130b15324add74655df94913eb24ad730

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-3_armhf.deb)
SHA1: 120d22ebf4d756dd5df82b87954fd72259375f52
SHA256: 9ad5200647a9dfab6a37521d5ea3d7645b742cd7a865882695a6638ff28d9cc9

Size: 1,998,944 bytes
why3 (why3_0.88.3-3_armhf.deb)
SHA1: 4b3ef3de5f286877bc2012816bb991e9c5e493db
SHA256: 89d162d8835ef1c9662dead2033f1d4de39b09d62245772007cc5f7cc6f152a5

Size: 11,132,088 bytes
why3-coq (why3-coq_0.88.3-3_armhf.deb)
SHA1: 4a72f554e4a3d343e25aa1fd15be20be3b23b74a
SHA256: ea1a1f6b7789e1b51747686d61d236b1bc1e297a7b712b40a74f1d9c8162c495

Size: 2,049,040 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.88.3-3_armhf.deb
SHA1: e1e6bcd7e3ee48807866bd3090a6506a55d5e71f
Size: 3,993,504 bytes
why3-coq-dbgsym_0.88.3-3_armhf.deb
SHA1: b2c2f3e087dab1e684630d683bf3a6b91bd9c1a7
Size: 398,056 bytes

Submissions

nnjuit7f
Submitted
Fri, 26 Oct 2018 15:35:07 +0000
Signed by
0x0D38788588CEE7B3

Environment


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