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

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

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Sun, 6 May 2018 08:05:43 +0000
Build-Path
/build/why3-NsR5MN/why3-0.88.3

First submitted
Fri, 26 Oct 2018 10:47:03 +0000
SHA1 of .buildinfo
1992d132d3f9c24bfb6c1174efbc5f72993d59de

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-2+b1_mips64el.deb)
SHA1: 5e440a23522cb190fefb7ba8cd0564818e1a90f5
SHA256: 8d495ca9ed079528d63d804383c95e96427fc36b4303423ebf4c6b346c99960a

Size: 3,477,752 bytes
why3 (why3_0.88.3-2+b1_mips64el.deb)
SHA1: 96cb579ae5f9037e9ad4e734dca5c5c538288e17
SHA256: 624401cc88831f339a81a58470349bbeda4b19d443e149445137458f090184c7

Size: 43,119,832 bytes
why3-coq (why3-coq_0.88.3-2+b1_mips64el.deb)
SHA1: ae31f790da2773a0fb452315eceb4d34984ae81e
SHA256: f45be70e608d57bedc33c99214d53ead3b31cc2debf4a6a482b46e030589b56c

Size: 3,948,132 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.88.3-2+b1_mips64el.deb
SHA1: 337282f77bf18b453a8f811ced3cfd9c4600879a
Size: 89,080 bytes

Submissions

sqhz9reu
Submitted
Fri, 26 Oct 2018 10:47:03 +0000
Signed by
0x387644379DEB80AA

Environment


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