why3_1.0.0-1_mipsel.buildinfo (view)

Source
why3
Version
1.0.0-1
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Wed, 27 Jun 2018 23:45:10 +0000
Build-Path
/build/why3-tNXev9/why3-1.0.0

First submitted
Fri, 26 Oct 2018 08:01:30 +0000
SHA1 of .buildinfo
ca471c75fda38652cb4091475f6f4df983562093

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-1_mipsel.deb)
SHA1: d28fc2708ca34efcee9bc63c0ad7f9d4053cbdf0
SHA256: bcc83c02eb912ce9c304bc539f5517170df69d06864e979179cf16c9f5434f21

Size: 3,948,788 bytes
why3 (why3_1.0.0-1_mipsel.deb)
SHA1: 2f3d5d07b9d225c26f79280d5069678a77e446af
SHA256: 7d1a125f8102c596cc9813cde32b483e2e20edafc017c8c186102a00d420676d

Size: 54,244,852 bytes
why3-coq (why3-coq_1.0.0-1_mipsel.deb)
SHA1: 39876b508119dee992a5e240e0267274f499ed74
SHA256: 3ac8fbd70b05bab1c3c381fff3337ea71a22baaaa53001ba863f74db4fe690dd

Size: 560,852 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.0.0-1_mipsel.deb
SHA1: d90de3bc5c6e51dfe559837f0c4f84c5804ab350
Size: 100,700 bytes

Submissions

scrt4rjx
Submitted
Fri, 26 Oct 2018 08:01:31 +0000
Signed by
0x9150028A9B73F7F3

Environment


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