why3_0.88.3-2_mips.buildinfo (view)

Source
why3
Version
0.88.3-2
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Sun, 8 Apr 2018 19:08:56 +0000
Build-Path
/build/why3-ESZROZ/why3-0.88.3

First submitted
Fri, 26 Oct 2018 18:20:54 +0000
SHA1 of .buildinfo
4dd23b1a7e0729c73eeb32790ce2bb6133a0801f

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-2_mips.deb)
SHA1: 9c719f44c831c304b2de9f3db7228ce72a8f1d14
SHA256: befe3d8a3e9485bb7d98ee1b146a72cfc27bae5d5198870501755a6dd6213e8d

Size: 3,476,452 bytes
why3 (why3_0.88.3-2_mips.deb)
SHA1: 43d4650a22e8e57437ba9beccb7b82a8f72e8a53
SHA256: 4d2c417bb78a4c09accc1558987cf2e8aedc47fe625b459a0e916c13f81d44b4

Size: 43,164,756 bytes
why3-coq (why3-coq_0.88.3-2_mips.deb)
SHA1: de380741d9290993e48ff578282f3f6301c1abb2
SHA256: 9fc022277a7a2eaf5b296a2d99758b70cd7e45663dac8867556960f8c366cf88

Size: 3,951,360 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.88.3-2_mips.deb
SHA1: 4ea24c17cb1cbd3e58ce44dc4a97f46d10a47c87
Size: 84,864 bytes

Submissions

3htn9wvw
Submitted
Fri, 26 Oct 2018 18:20:55 +0000
Signed by
0x3872ED6BCF585A62

Environment


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