why3_1.2.1-1_armhf.buildinfo (view)

Source
why3
Version
1.2.1-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 30 Oct 2019 09:10:54 +0000
Build-Path
/build/why3-TBTmcE/why3-1.2.1

First submitted
Wed, 30 Oct 2019 12:24:36 +0000
SHA1 of .buildinfo
f728be91024b690e7d4c4ea2dc3e3c9fb9eb9a58

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-1_armhf.deb)
SHA1: 8ac2646d5bda9581b6ff9f7eb5ab77d13600e85c
SHA256: 46fa4fe28e5502a5f6d12cde1d501951c497c282f383fcfc0b7f4319a48fa785

Size: 7,908,748 bytes
why3 (why3_1.2.1-1_armhf.deb)
SHA1: 7e897a71a191cf0cac4967c5a25793ad01fbf323
SHA256: 99634896f7464dbdf0bddbafb4be3e6c21f5ba0f588ff32c11794bc2aa726ceb

Size: 19,200,060 bytes
why3-coq (why3-coq_1.2.1-1_armhf.deb)
SHA1: 719895fab73d89bd5dc4915a3c92f6d3dc172b5b
SHA256: 95d93bb4ed1d8bcd4b317eb0544de1cc396d74cf8432de07d9c9e04fcff9f8d5

Size: 602,356 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.1-1_armhf.deb
SHA1: 58ca9137bc523a35f0d32eb2f569857ba5115510
Size: 5,255,020 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-1_armhf.deb
SHA1: ea322fea718182bd2f63c649c71f2faece47fdba
Size: 452,844 bytes

Submissions

c7petmi3
Submitted
Wed, 30 Oct 2019 12:24:36 +0000
Signed by
0x8F4D2E75D3B4ABCE

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1572284919"