why3_1.1.1-2_armhf.buildinfo (view)

Source
why3
Version
1.1.1-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 10 Jan 2019 21:48:29 +0000
Build-Path
/build/why3-0yQx3v/why3-1.1.1

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

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-2_armhf.deb)
SHA1: 1dc72734e102fb2828695e5a0307baef07468e41
SHA256: 6e3a30019ed17b3ceb7473e6514c07a3806526fee5b71fc236b0fcec9100deb4

Size: 3,912,236 bytes
why3 (why3_1.1.1-2_armhf.deb)
SHA1: c6f66e39e4c062a99b3ae9adac7b2e485f02a1bf
SHA256: 8afb5765e3518aed948f79ac70bb9cc3f13d0bd6888a6d7161f5c194933a2782

Size: 13,321,280 bytes
why3-coq (why3-coq_1.1.1-2_armhf.deb)
SHA1: 403795ecb5ff3b565f8c65e341cda4dca8222117
SHA256: 1969644856cebe92a0f162bd7004dd44fd63d00da02d1fcc331f2f8df9ae7783

Size: 598,692 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.1-2_armhf.deb
SHA1: 1a9eeeae43536b736a532136e9624e3e320f9ba5
Size: 4,569,312 bytes
libwhy3-ocaml-dev-dbgsym_1.1.1-2_armhf.deb
SHA1: d5f97182f38a3c66d2ca8a1f6078f8e76ea9ad86
Size: 443,732 bytes

Submissions

4o4xsscm
Submitted
Fri, 11 Jan 2019 00:12:50 +0000
Signed by
0x76800695CADF0D50

Environment


DEB_BUILD_OPTIONS="parallel=8"
LANG="ca_AD.UTF-8"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1547147544"