why3_1.2.1-6_mipsel.buildinfo (view)

Source
why3
Version
1.2.1-6
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Mon, 9 Mar 2020 04:41:20 +0000
Build-Path
/build/why3-rvTrUE/why3-1.2.1

First submitted
Mon, 9 Mar 2020 06:12:52 +0000
SHA1 of .buildinfo
dafe7d2cfa0142526d419c4c4f300b74f61c51f1

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-6_mipsel.deb)
SHA1: b7f39419ce4707c30b0671736f8b86fc20851156
SHA256: a43bdb377177efefa5c687fb359c31a0f65b002c747a599660ef9538acad31ca

Size: 4,217,504 bytes
why3 (why3_1.2.1-6_mipsel.deb)
SHA1: 5d955185de2a505174c785048880813598936b6a
SHA256: c1516abfb4e7a5de5d0c26e89bd74a3b7eeb42e822df7f65ee9ff211b07d0923

Size: 58,186,004 bytes
why3-coq ()
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.1-6_mipsel.deb
SHA1: 4d462cb1d180fd66a99c0c1a71f9615a4ab0b59e
Size: 105,716 bytes

Submissions

7v49bk9a
Submitted
Mon, 9 Mar 2020 06:12:53 +0000
Signed by
0xA97DC8BF05A693C3

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1583696219"