why3_1.3.1-2_all.buildinfo (view)

Source
why3
Version
1.3.1-2
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 7 Jun 2021 12:47:02 +0000
Build-Path
/build/2/why3-1.3.1/2nd

First submitted
Tue, 5 May 2020 07:34:14 +0000
SHA1 of .buildinfo
b406f46ad922cc17b27b59b0bbbcacb587fe660c

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-2_arm64.deb)
SHA1: 12ea835c61d6b3c18acc12c8c8cc72e5b9e320d2
SHA256: 4e1a5213dae5eecf00744987f0f12bde1d3a0e61830ff5ba60d4075a8fdf638d

Size: 9,754,576 bytes
why3 (why3_1.3.1-2_arm64.deb)
SHA1: 8913f6cb86e80bbf467bd922688d1323c388c149
SHA256: 400044ea7ebf5cbd90a5fdf0eeb5774f07354317dc671496af61cbc8b3bdf5c6

Size: 44,572,608 bytes
why3-coq (why3-coq_1.3.1-2_arm64.deb)
SHA1: cda986afac15d361acfd47fa5d12a1c0a4748b8e
SHA256: ee090d2a9380088fab5c7992400e711b59c2f2df52695b083becf83582c69184

Size: 794,700 bytes
why3-doc-html (why3-doc-html_1.3.1-2_all.deb)
SHA1: a1eb7e0b57251775b982c308358703d7eb20fc04
SHA256: cce240c89f97a38d3bdc2724242ea1c735502c3126da1121f0bcbc9a37ffbe24

Size: 957,904 bytes
why3-doc-pdf (why3-doc-pdf_1.3.1-2_all.deb)
SHA1: b31dd193b74c858700e706c05dd98b2ac0ca9c8b
SHA256: 9e4528fd303d73fe1adb50026a64282d26db897da4c668f6f895020f4aff5415

Size: 1,057,692 bytes
why3-examples (why3-examples_1.3.1-2_all.deb)
SHA1: ac6cee6c6f4ea4e659d17d00c3c153d5b759a8c0
SHA256: 07dfe8be6b226f63b351a483848f3c534a1ca668128e86932616fcb3cc04e207

Size: 3,505,744 bytes

Other checksums

why3-dbgsym_1.3.1-2_arm64.deb
SHA1: 1e889720da3ebe6340ca35eea013205c11b4983a
Size: 7,943,184 bytes
libwhy3-ocaml-dev-dbgsym_1.3.1-2_arm64.deb
SHA1: 9990156cc7f274833c00f005922370c34562c456
Size: 691,392 bytes

Submissions

e3fhmjmo
Submitted
Tue, 5 May 2020 07:34:14 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-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="1586279499"