why3_1.3.1-3_all.buildinfo (view)

Source
why3
Version
1.3.1-3
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 25 Aug 2020 19:15:09 +0000
Build-Path
/build/why3-1.3.1

First submitted
Tue, 25 Aug 2020 19:31:22 +0000
SHA1 of .buildinfo
07eb351acdc0a04a862bc19a3b9e31d408ebf909

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-3_armhf.deb)
SHA1: f2b0df5f5f5162827a5f6ced85dd20e846e03350
SHA256: 8796bf5781368380624e3200144761a7eb94586ec1b9b7b5b4127bdd1828493a

Size: 8,729,700 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.1-3_armhf.deb)
SHA1: df27748b21ad4586ebdefb96f767005b07b55b5e
SHA256: 121e7442a884b4e7c0945eb84dce7a3a44241e6490b5059fdb8e56dce817811d

Size: 512,584 bytes
why3 (why3_1.3.1-3_armhf.deb)
SHA1: a700aa0cf9476e5bbb56b37406ded648a35b7343
SHA256: 6189fbeeb62a764dee33c4cccc7efff9fae76fa89accd8f331416c8c81191968

Size: 20,911,768 bytes
why3-dbgsym (why3-dbgsym_1.3.1-3_armhf.deb)
SHA1: 25abe3449809e8c95d9b39b5af93f0cce58b8602
SHA256: ebd0acf50abbb12e3fd50a5d7056d08f6d6a751b58b3980f39d1c14e1808037a

Size: 6,484,056 bytes
why3-doc-html (why3-doc-html_1.3.1-3_all.deb)
SHA1: 5cfc7a6623d5c1576ed7c0dbcd74bbab0203bdae
SHA256: a358c737a1ed293d26db4115be727b31961e7ff7af427599d3286f5d184f28d5

Size: 959,732 bytes
why3-doc-pdf (why3-doc-pdf_1.3.1-3_all.deb)
SHA1: 311bd41de8cb724d8d2bd713880f1b58f7696d0c
SHA256: a6865a8c5d8ba22d216e165d0a06a1f06dfe2020c0eba8221fa1e9508e289bca

Size: 1,055,404 bytes
why3-examples (why3-examples_1.3.1-3_all.deb)
SHA1: 8212e5afa109e6da08e43ed98f55ac55663f561b
SHA256: 54520af63b41c8f08cb09bfddbe13555cd09caeafaea4396c47d63b34ad3d1a5

Size: 3,505,860 bytes

Other checksums

Submissions

yajqztf9
Submitted
Tue, 25 Aug 2020 19:31:22 +0000
Signed by
0x00C8B57F4FD162BC odu3a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1597532906"