why3_1.2.1-6_all.buildinfo (view)

Source
why3
Version
1.2.1-6
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 24 Mar 2020 20:32:34 +0000
Build-Path
/build/why3-1.2.1

First submitted
Tue, 24 Mar 2020 20:56:10 +0000
SHA1 of .buildinfo
71ef72cc0af61a29cbff84a0e72a697e9303d1d1

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-6_arm64.deb)
SHA1: 7529017e3f7d94bf6a458544216af871ab91f968
SHA256: b1f2eba62f8e92449eaf8c523e8b66db3d3340ad4da18c0b8b6463f3ae118da7

Size: 8,713,164 bytes
why3 (why3_1.2.1-6_arm64.deb)
SHA1: 30e685686d0fcc86bf1fa64698bc39896867fab8
SHA256: f906e5655fd029902a0aaef18b4b0ac29282fac2ec9a710d6b21091420dc3559

Size: 39,352,072 bytes
why3-coq (why3-coq_1.2.1-6_arm64.deb)
SHA1: b8a8858647c135bccec39a95609172da3c67680d
SHA256: 0a95f08d59c38a20ca3073a69ffb80221bafa99188159f6954b300b9d01525d3

Size: 592,208 bytes
why3-doc-html (why3-doc-html_1.2.1-6_all.deb)
SHA1: a00e6f6e44531431f1ccfb2abc2b58e100b90157
SHA256: b0d3ab826eeef40ade51d10216927b7918438ad107832144c70eab57e09489cd

Size: 362,932 bytes
why3-doc-pdf (why3-doc-pdf_1.2.1-6_all.deb)
SHA1: ed2544a276efbacd664183bf0a4bb0851c446ab5
SHA256: 88aa8770e0bbcb4d300e860b39e8cf90b0313902d24e2e0287437a7fe0653477

Size: 1,275,192 bytes
why3-examples (why3-examples_1.2.1-6_all.deb)
SHA1: a5ac0f7de547a023f12bee4a1fc5076198512f94
SHA256: 03a60c0682031570f7882e30443720516f652b61de8a55800c95ee80506c26a3

Size: 2,474,304 bytes

Other checksums

why3-dbgsym_1.2.1-6_arm64.deb
SHA1: 258a09c8fda47eac30f85adf7368adfe1bdf3c52
Size: 6,799,896 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-6_arm64.deb
SHA1: b6426c854a1d20445a7c040ed3c282a2adc4b818
Size: 615,116 bytes

Submissions

am3nkzqg
Submitted
Tue, 24 Mar 2020 20:56:10 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1583696219"