why3_1.2.0-1_mipsel.buildinfo (view)

Source
why3
Version
1.2.0-1
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Fri, 15 Feb 2019 22:40:17 +0000
Build-Path
/build/why3-WVKUpl/why3-1.2.0

First submitted
Sat, 16 Feb 2019 00:11:47 +0000
SHA1 of .buildinfo
6ce4aad5fb9fbe0cd709114aa3cf4c5ba686b31f

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-1_mipsel.deb)
SHA1: b4fde3becc94958c210d092bf7c8b23c6fa1c56a
SHA256: 7d65855c72082cc45c476494f7a45c498bd871dd226cb443769f3e738b86adba

Size: 4,094,088 bytes
why3 (why3_1.2.0-1_mipsel.deb)
SHA1: f218a8179c531bc9f08564d4141bb48f5e5749f2
SHA256: e82d273645ef3b5c3d9ae95655672482711441592aa8a1690a0cf521a7781b1f

Size: 54,149,308 bytes
why3-coq (why3-coq_1.2.0-1_mipsel.deb)
SHA1: a390be20fbae58934fd82b394831e3080bdc7a27
SHA256: f09fac2a1db64f85d22ceedb36faed7872f3b907c8e197374e771d374ebb2a37

Size: 595,500 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.0-1_mipsel.deb
SHA1: b742bda494eb771fd08b014cfe3c8239306daf88
Size: 96,784 bytes

Submissions

9ntsiavc
Submitted
Sat, 16 Feb 2019 00:11:47 +0000
Signed by
0xCF69A5775BDC5DFD

Environment


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