why3_1.2.0-1_all.buildinfo (view)

Source
why3
Version
1.2.0-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 20 Jul 2019 20:29:01 +0000
Build-Path
/build/1st/why3-1.2.0

First submitted
Sat, 20 Jul 2019 22:44:34 +0000
SHA1 of .buildinfo
bc2e9eb39a3c108bd21f912097fb33949c31671c

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-1_arm64.deb)
SHA1: 826210f3c4d788e3d72382eaa6c21817cc9b4d97
SHA256: 900436b1495e6de604889b0175a138e6c7e0fe4de6ea68a764d8e450ef06fb61

Size: 8,568,536 bytes
why3 (why3_1.2.0-1_arm64.deb)
SHA1: 1f066a823dd93a0ac051b8fe72497a3f1c15beed
SHA256: 1e41866f989e45d3bb3e1bbbb7aaaa3ed11a4a726cc4a25f029c44a097953765

Size: 38,194,728 bytes
why3-coq (why3-coq_1.2.0-1_arm64.deb)
SHA1: d86bf08106790b7fcf95dd37d399c92c5ad09f63
SHA256: 634e17243ba9601e775cc477589915e52735ece6496ee24e095b3d7ad5559506

Size: 596,300 bytes
why3-doc-html (why3-doc-html_1.2.0-1_all.deb)
SHA1: 4727d7ad2f61be8f44cb7a88fa282c6d88d8d5a1
SHA256: 0f1a726f1f0aef793dec228a2feeb0eaee74d7fa61b4372de1debf0c26dad595

Size: 362,080 bytes
why3-doc-pdf (why3-doc-pdf_1.2.0-1_all.deb)
SHA1: 62309cf5be0f716abe01bfa237ebd8bbc29a6c35
SHA256: 6a8357c84e31292155bfbce77ece9da0b0f467e12a81f8643f8097f1fe2e83ac

Size: 1,274,620 bytes
why3-examples (why3-examples_1.2.0-1_all.deb)
SHA1: be751c570eaad7a786154257a93eade54d6a48e4
SHA256: 52901d7ac6a8203f5885f6d99b2eddd7a01b04d812536a994c2b7812fe596fd1

Size: 2,473,424 bytes

Other checksums

why3-dbgsym_1.2.0-1_arm64.deb
SHA1: 4552b7912eef78d401d7a2a0812e90a3c38b8db8
Size: 6,503,564 bytes
libwhy3-ocaml-dev-dbgsym_1.2.0-1_arm64.deb
SHA1: d3044b99dfe20daa9246ad4505c40ec97dce5da4
Size: 606,916 bytes

Submissions

omnok4bq
Submitted
Sat, 20 Jul 2019 22:44:34 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-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="1550215195"