why3_1.3.1-2_all.buildinfo (view)

Source
why3
Version
1.3.1-2
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 8 Apr 2020 14:26:29 +0000
Build-Path
/build/1st/why3-1.3.1

First submitted
Wed, 8 Apr 2020 16:52:04 +0000
SHA1 of .buildinfo
9a8d7ba1c35e8e78090bdb170bebe5fa5a5cf688

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-2_armhf.deb)
SHA1: 1af48a16b54c1698adb4930fb9cb7ad8c5f60a0f
SHA256: 1e9a8d4e8eea715da41744dbb9dda6a6778c84d90db4e6b7f73c8b92165b6aac

Size: 8,730,228 bytes
why3 (why3_1.3.1-2_armhf.deb)
SHA1: 56076aa2e562e066975a5356f2e42d1e189cf077
SHA256: 174e09e8cd87b49a6abaefa0b4297ac5841798e71a62c274b34dc0a07f983c64

Size: 20,967,036 bytes
why3-coq ()
why3-doc-html (why3-doc-html_1.3.1-2_all.deb)
SHA1: fb1ff254e97f896857029ae60520b44cfa1e8234
SHA256: 1b844040089d80c5ab571721d675b7e4b4a4718441a4bd9c8c69eedab54ae47f

Size: 954,716 bytes
why3-doc-pdf (why3-doc-pdf_1.3.1-2_all.deb)
SHA1: adfe48e5a41db64731a354e296177622b39cd40d
SHA256: 1cdf18e5a3d5a0251006c8930e8d9502d6ebde02e3fc5d556f22eaed6ea27f5f

Size: 1,055,908 bytes
why3-examples (why3-examples_1.3.1-2_all.deb)
SHA1: ac6cee6c6f4ea4e659d17d00c3c153d5b759a8c0
SHA256: 07dfe8be6b226f63b351a483848f3c534a1ca668128e86932616fcb3cc04e207

Size: 3,505,744 bytes

Other checksums

why3-dbgsym_1.3.1-2_armhf.deb
SHA1: ad81f6a0a6ca4cd8350d0fb32f933cd712e9e351
Size: 6,444,088 bytes
libwhy3-ocaml-dev-dbgsym_1.3.1-2_armhf.deb
SHA1: 790028b06fedea20b78ea1c904195b076bf26280
Size: 510,196 bytes

Submissions

gjyrwywu
Submitted
Wed, 8 Apr 2020 16:52:05 +0000
Signed by
0xF8FAD05CE1845E42 wbq0 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1586279499"