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

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

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Mon, 19 Nov 2018 18:59:08 +0000
Build-Path
/build/why3-GXIwjC/why3-1.1.0

First submitted
Mon, 19 Nov 2018 20:01:00 +0000
SHA1 of .buildinfo
55e835a36c582094a1747996c2e3146554ce9458

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.0-1+b1_mips.deb)
SHA1: 76c01717174e2ee351c31b513f178fce1b547e35
SHA256: fe28ecaee35f43a289ca4b396d4495723a8bd78decf26e6af3cd8673a94c252b

Size: 3,998,732 bytes
why3 (why3_1.1.0-1+b1_mips.deb)
SHA1: a4cf30208f92399dd1e14d3adcdd5db2b26140ed
SHA256: 047416a16920d4b6592d5adf86f79a299bb8e28af495370f73f9dcbbaadcf3ff

Size: 53,135,040 bytes
why3-coq (why3-coq_1.1.0-1+b1_mips.deb)
SHA1: 3a5b9193940b05ce988e9899fade3881e1c117ad
SHA256: 210102387ab821262a635dbbe2aa4f9b1d412e1bf02279a991a731577739103f

Size: 588,512 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.0-1+b1_mips.deb
SHA1: 527b707c53eecfe208da40cf17232c307e3a791f
Size: 54,048 bytes

Submissions

7wtaehf3
Submitted
Mon, 19 Nov 2018 20:01:01 +0000
Signed by
0x25C861754F4AD36F

Environment


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