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

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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 6 May 2018 09:45:48 +0000
Build-Path
/build/why3-SC98sR/why3-0.88.3

First submitted
Fri, 26 Oct 2018 10:48:57 +0000
SHA1 of .buildinfo
2f5c62c201a2956f7b73c8ceb41883b8295a0705

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-2+b1_armhf.deb)
SHA1: faef1d33a08c8585273d92e39fcc495a7ba9cde3
SHA256: e010abf161b722c135c8b637dbbf845a183ca3447da5251dff18ed75514bdf24

Size: 2,006,636 bytes
why3 (why3_0.88.3-2+b1_armhf.deb)
SHA1: e40e4899ea8bd6bff491ad98a7010426fbed1554
SHA256: ecffc2bcd24f8a76a53450ee8b91eff5783f99348ca85edb22bf2dbc6e3b138a

Size: 11,145,996 bytes
why3-coq (why3-coq_0.88.3-2+b1_armhf.deb)
SHA1: fbcbfccd21e590721f51202730a9298004f28e90
SHA256: 8f839ffaa4104e1a1a347a47e3ff5f70062287162a9483d6fdbef6467981fc3f

Size: 2,048,608 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.88.3-2+b1_armhf.deb
SHA1: 3b4d3fd74b9217abce80c1f9c6f49da52b106079
Size: 4,027,320 bytes
why3-coq-dbgsym_0.88.3-2+b1_armhf.deb
SHA1: e31b0b08224d9e5c9f133416c3f283d218d8f301
Size: 395,080 bytes

Submissions

uykziaqr
Submitted
Fri, 26 Oct 2018 10:48:58 +0000
Signed by
0x0D38788588CEE7B3

Environment


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