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

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

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Sun, 6 May 2018 07:50:45 +0000
Build-Path
/build/why3-gEQx1G/why3-0.88.3

First submitted
Fri, 26 Oct 2018 10:47:01 +0000
SHA1 of .buildinfo
033ce122b10aad3c7c28ed31e5900db03ba34e74

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-2+b1_mips.deb)
SHA1: 5cc7528f4f74e74f5b74702caf73bc650189a64d
SHA256: f1b93cc51ac730e3beb3b88c315c642db4e9b905529986e1409ede2e51c487d0

Size: 3,476,472 bytes
why3 (why3_0.88.3-2+b1_mips.deb)
SHA1: bca66d2857a47be7db89291148c28367d4e9c0bc
SHA256: 020ce44fcc17439480d8ffd1b1d68330ce6a85093e3eddefccd0721a6f00df41

Size: 43,169,400 bytes
why3-coq (why3-coq_0.88.3-2+b1_mips.deb)
SHA1: 29514b05772318b7871153d9ba7d25d28bedbdb0
SHA256: 5d929c22f7088a4f709db318961c7c6648e7037720e3144f945f6f29158e9722

Size: 3,952,108 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.88.3-2+b1_mips.deb
SHA1: c41c19a08fc9c76f7dcd23fcf8537106e96c0799
Size: 84,272 bytes

Submissions

yidwtwwg
Submitted
Fri, 26 Oct 2018 10:47:02 +0000
Signed by
0x7412D443A21747C4

Environment


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