why3 (0.88.2-1)_0.88.2-1+b1_armhf.buildinfo (view)

Source
why3 (0.88.2-1)
Version
0.88.2-1+b1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 2 Jan 2018 11:43:14 +0000
Build-Path
/build/why3-jf5pMJ/why3-0.88.2

First submitted
Sat, 27 Oct 2018 14:43:16 +0000
SHA1 of .buildinfo
1cdf9bd2d6a626edbfeafbb2ce9375a97c7cee51

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.2-1+b1_armhf.deb)
SHA1: 1c72973d4df1b5e4e54c1a714d7f71a70bd3404a
SHA256: dcf2386f0427633ea5323e6ed0c36d973b9c39e99b33cab10fdbe8f0a14651a6

Size: 1,998,880 bytes
why3 (why3_0.88.2-1+b1_armhf.deb)
SHA1: 99e07b8e02b6f12d39908a9279e7c07d05f042c9
SHA256: 181553b2f34d505da7f367e72c2c4d0d18da92de92744cf2f7ccab646fa38eeb

Size: 11,372,416 bytes
why3-coq (why3-coq_0.88.2-1+b1_armhf.deb)
SHA1: 2c27a05b48447edd6584c61f2286bc6a87f248de
SHA256: 6b347c26fcb8fbd58bba6820da2c73830ce80b799896ec4cfb2685d1f7057311

Size: 2,046,740 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.88.2-1+b1_armhf.deb
SHA1: 0bfd38becf1ea6aa7b40e9d28624a373d0d04ebb
Size: 4,048,708 bytes
why3-coq-dbgsym_0.88.2-1+b1_armhf.deb
SHA1: 738d530459a9c5fa4fc5d71311c8b572a77ff9fe
Size: 395,532 bytes

Submissions

pz7ixajw
Submitted
Sat, 27 Oct 2018 14:43:17 +0000
Signed by
0xBA71C788F910C77D

Environment


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