why3 (0.87.3-2)_0.87.3-2+b4_armhf.buildinfo (view)

Source
why3 (0.87.3-2)
Version
0.87.3-2+b4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 26 Sep 2017 15:59:21 +0000
Build-Path
/build/why3-tIztUW/why3-0.87.3

First submitted
Sat, 27 Oct 2018 12:49:39 +0000
SHA1 of .buildinfo
07afca040a7f9455cfb693f69d2f117950e90dfa

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2+b4_armhf.deb)
SHA1: 829fe2dc68599e3956ae8c6812d3b1b8e53c39bf
SHA256: 5bfb7c5079aeabf180bd4c2743f4ccfa7c871e4857411704fd872f7940fec987

Size: 5,038,326 bytes
why3 (why3_0.87.3-2+b4_armhf.deb)
SHA1: 92a1d70c6b141bd601caf721ed5df00e793667e2
SHA256: 87f38cfa86e1241a2a6307b8de2e4829837fd4de9bd71668b3cb3320ac88fc57

Size: 14,192,964 bytes
why3-coq (why3-coq_0.87.3-2+b4_armhf.deb)
SHA1: 6cb1959bb5295216965e9c85f81f724b0eba5436
SHA256: 4f668bd88783d9972b813f6fe6529b5f17c43584ea6a155c43205661f3311a51

Size: 5,273,832 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.87.3-2+b4_armhf.deb
SHA1: b94d0ea0a01303d31ce066a40d504a89756c5341
Size: 4,095,916 bytes
why3-coq-dbgsym_0.87.3-2+b4_armhf.deb
SHA1: 84f30e5d60851d0373a28ddb9e1734304f050939
Size: 389,518 bytes

Submissions

wvfojmye
Submitted
Sat, 27 Oct 2018 12:49:39 +0000
Signed by
0x0D38788588CEE7B3

Environment


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