why3 (0.88.3-2)_0.88.3-2+b1_arm64.buildinfo (view)

Source
why3 (0.88.3-2)
Version
0.88.3-2+b1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 6 May 2018 07:29:13 +0000
Build-Path
/build/why3-f0qvkq/why3-0.88.3

First submitted
Fri, 26 Oct 2018 10:44:01 +0000
SHA1 of .buildinfo
42256cb8288904da602c9812e42873e19b255c76

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-2+b1_arm64.deb)
SHA1: 02f6b9c2a3b42236f1115c8047d9dcda2139e987
SHA256: fe392547c7fc7af6228ad7b5bb6b9828ff64035cbb2fc8ce8fe9025208cd2331

Size: 2,107,184 bytes
why3 (why3_0.88.3-2+b1_arm64.deb)
SHA1: 26d99026a2f0df049dbf4cfa766aa57e44dcd82e
SHA256: 994fc7f0e00abd93346f51651670d54c77880f11c74947452d7a714fdc4fb6ed

Size: 26,742,120 bytes
why3-coq (why3-coq_0.88.3-2+b1_arm64.deb)
SHA1: 162f41423b0dd23f1c91677904d28579391b37f9
SHA256: 5aaba5469cc6f283c8e1fea6c6bece4ed695a00786df2099af4af188943b1d83

Size: 2,521,032 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.88.3-2+b1_arm64.deb
SHA1: 54a3212052beb4b09d2dd2842ba97992a3b3a3cb
Size: 4,868,760 bytes
why3-coq-dbgsym_0.88.3-2+b1_arm64.deb
SHA1: 0cb8eb997089ccfa4b1e1eb07080243208070d20
Size: 531,852 bytes

Submissions

yj9ns7mj
Submitted
Fri, 26 Oct 2018 10:44:02 +0000
Signed by
0xDAF8174B4FB933D1

Environment


DEB_BUILD_OPTIONS="parallel=3"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1525591333"