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

Source
why3 (0.87.3-2)
Version
0.87.3-2+b2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Thu, 29 Jun 2017 09:40:56 +0000
Build-Path
/build/why3-jaNIhy/why3-0.87.3

First submitted
Sun, 28 Oct 2018 07:01:09 +0000
SHA1 of .buildinfo
4d6f4ea7b0a39a5df7fdf3adadcfd7aea5572f5a

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2+b2_i386.deb)
SHA1: 32215a3d1a94cec53bb180b62bfda1d9294a8d38
SHA256: 39ec5c8d3d0d43ea0c057e18415110d5e326e5ca9df7ed23fe0bcef6baef35e5

Size: 4,656,316 bytes
why3 (why3_0.87.3-2+b2_i386.deb)
SHA1: 91151681b3290ba3dff340e7ff38e7ebb465c551
SHA256: 0afcb962afa34b29f8df20e136a5bc8d32f08fc83ef9d473e7e4a33d36ebbc04

Size: 11,388,840 bytes
why3-coq (why3-coq_0.87.3-2+b2_i386.deb)
SHA1: f5ef8200f05947b217e0e3c782d1aaccc5b7af86
SHA256: 595ab427a1642d82230de026ecf461bcf9531e9197ea9711c714cec5cfa3cd37

Size: 5,001,144 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.87.3-2+b2_i386.deb
SHA1: be227712f2521a3da46fe72efe3db1266b69011a
Size: 3,819,534 bytes
why3-coq-dbgsym_0.87.3-2+b2_i386.deb
SHA1: 2b820fd89e339f1cf4321e4fbc89cf5d7f149102
Size: 298,826 bytes

Submissions

h7pumir7
Submitted
Sun, 28 Oct 2018 07:01:09 +0000
Signed by
0x69616CDA9356D1F3

Environment


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