why3_1.1.1-2_mips64el.buildinfo (view)

Source
why3
Version
1.1.1-2
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Thu, 10 Jan 2019 22:04:05 +0000
Build-Path
/build/why3-zRpXt2/why3-1.1.1

First submitted
Fri, 11 Jan 2019 00:12:51 +0000
SHA1 of .buildinfo
2c243493bbf8d8e4ac8784898444e633197cde04

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-2_mips64el.deb)
SHA1: 3eec4bcc2e09354b657c6ffb3706a083e9f29d86
SHA256: 9321a2f324fef57e0e9cc405a456136ced24f0b6d0705687cd89d11c594ceb56

Size: 3,996,972 bytes
why3 (why3_1.1.1-2_mips64el.deb)
SHA1: fc0144e34ca5db30059e5cbe69147892b743bf9a
SHA256: d126061e3b5e75e79ee31c751885dd33e8cf235b7eedd8d39516e8598f8acef9

Size: 53,186,152 bytes
why3-coq (why3-coq_1.1.1-2_mips64el.deb)
SHA1: b34b3027d3ec2421469a9ee01d37d98cc56ee749
SHA256: 021995fa95e25ee3e1cc887040c52d84318ee35b133bc4d758f3184d829cd6b4

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

Other checksums

why3-dbgsym_1.1.1-2_mips64el.deb
SHA1: 71245515f6e8c5e7ed7eb0bd49d74adf077ae65f
Size: 54,524 bytes

Submissions

wywcijte
Submitted
Fri, 11 Jan 2019 00:12:51 +0000
Signed by
0x0E2566AE0AF89F9E

Environment


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