Source
why3
Version
0.88.3-2
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 17 May 2019 12:49:41 +0000
Build-Path
/build/why3-0.88.3

First submitted
Sat, 14 Apr 2018 06:28:19 +0000
SHA1 of .buildinfo
c148778eb2549a8d23aa06286d6dc72945a41f5b

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-2_arm64.deb)
SHA1: 9727293e795f7790f4c1c0e83ac9de9db6da5ac6
SHA256: 4d340853928e26a46d200cfc4d2f3706ebf843c450bde2df369ed86fe5c9e00d

Size: 2,102,480 bytes
why3 (why3_0.88.3-2_arm64.deb)
SHA1: a0258d67c6e30ea70a1e32e0ff2e03f3a0bb6d01
SHA256: 7e03980a5dd4094cb963665f160805adc546545c74b50f81f465ebe1e4eede69

Size: 26,743,776 bytes
why3-coq (why3-coq_0.88.3-2_arm64.deb)
SHA1: b378b6605fe2e92a30125b3319b01fd395f9b9f3
SHA256: 8db5409644cd3ba8d28f42de462dab03b8d480a68e75e8f43f73fc71a5db70fd

Size: 2,529,016 bytes
why3-doc-html (why3-doc-html_0.88.3-2_all.deb)
SHA1: c6fbaa198ffaf81deea1ed8e26d74e6f99667ff2
SHA256: 9aef090a799f5c15da82e33112cd499d17a423b25ac77f6d52f393de3dfe4046

Size: 445,228 bytes
why3-doc-pdf (why3-doc-pdf_0.88.3-2_all.deb)
SHA1: 802ec03886607c493a706f192cdf5d68e56c5e2d
SHA256: 698ffb470c97747158e816b985844fc9556fa8a2d34c4bbdae33d4b415c08830

Size: 1,250,624 bytes
why3-examples (why3-examples_0.88.3-2_all.deb)
SHA1: 0ba7e78bbb8da880c7337daf5808da8ea8319654
SHA256: 84824fd368df4ba00503086d6edf0aa8eb55e6b65be25a75b66d0eb723998933

Size: 1,626,120 bytes

Other checksums

why3-dbgsym_0.88.3-2_arm64.deb
SHA1: 8407e01e0d2519d6edc1b21a6c5a61d6fa9dee4d
Size: 4,950,772 bytes
why3-coq-dbgsym_0.88.3-2_arm64.deb
SHA1: 23e9010de7816185d191db8e67e6c1241e4516ff
Size: 531,988 bytes

Submissions

Submitted
Sat, 14 Apr 2018 06:28:19 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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