why3 (1.1.0-1)_1.1.0-1+b1_mips64el.buildinfo (view)

Source
why3 (1.1.0-1)
Version
1.1.0-1+b1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Mon, 19 Nov 2018 20:06:50 +0000
Build-Path
/build/why3-DElbl3/why3-1.1.0

First submitted
Mon, 19 Nov 2018 22:01:22 +0000
SHA1 of .buildinfo
a0c12914603657e67dcf920468cae7c2b1c03ff5

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.0-1+b1_mips64el.deb)
SHA1: 442ce14c61c8a97b7936c6ff9f546396b33445cc
SHA256: 2df4fbbb2858b7cb5df361d53b49e89f9d9d8d394fa8d9e77c012f6b4e32ace0

Size: 3,998,460 bytes
why3 (why3_1.1.0-1+b1_mips64el.deb)
SHA1: 5609511e091d0d9229eba7a6d65a83c245d5419c
SHA256: 7dc6a5996b60f978cfee09d5911754b51d05552c53fa4c1bca37dd3ac30370d5

Size: 53,137,760 bytes
why3-coq (why3-coq_1.1.0-1+b1_mips64el.deb)
SHA1: 7fc8f4f9143e45047bb7537eb477d399405eb0e3
SHA256: 9fae6fb605a225b25d03144e30f9c3f52340ad872d6b48aa1dfc49703b10430b

Size: 589,688 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.0-1+b1_mips64el.deb
SHA1: cbe04f64c0c5549c4d74074125c4d8c46c5260aa
Size: 57,288 bytes

Submissions

wmxfrcgh
Submitted
Mon, 19 Nov 2018 22:01:22 +0000
Signed by
0x5D2A7028EA923274

Environment


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