why3_1.2.1-3_mipsel.buildinfo (view)

Source
why3
Version
1.2.1-3
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Mon, 10 Feb 2020 17:16:57 +0000
Build-Path
/build/why3-B2O4nZ/why3-1.2.1

First submitted
Mon, 10 Feb 2020 20:42:07 +0000
SHA1 of .buildinfo
020330f8d75b849954d63e046bf8ed5d2914232a

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-3_mipsel.deb)
SHA1: 88889afe9e01d932eeeea8fa960f6743a96d844e
SHA256: aa83e0fc78945758eed36acd84c7ae6ffaa4b0fd7b1f08da176b20aa4bc2f9a2

Size: 4,217,884 bytes
why3 (why3_1.2.1-3_mipsel.deb)
SHA1: 394553bccaaf3055a2bf41bbebbeb52a01d8e815
SHA256: 9160abbcae9776f39890db07ad8fc3cfc01586ccba8f7553190d41bb2ec0cf63

Size: 58,190,104 bytes
why3-coq (why3-coq_1.2.1-3_mipsel.deb)
SHA1: ef2f1330661e5e5007b877989817de0f2b12d67f
SHA256: 0f684995927e82c3c885c5bfb2ce24f7b791ebdb74a7fe1becaff7fa49c487e1

Size: 596,972 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.1-3_mipsel.deb
SHA1: 4b374c36c29e44a535323f17503bc3033c2a6aca
Size: 108,428 bytes

Submissions

77ngagtf
Submitted
Mon, 10 Feb 2020 20:42:08 +0000
Signed by
0xA97DC8BF05A693C3

Environment


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