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
Sun, 31 May 2020 14:54:14 +0000
Build-Path
/build/1st/why3-1.3.1

First submitted
Sun, 31 May 2020 16:24:55 +0000
SHA1 of .buildinfo
946457fa665770a7fa07fd9d97b88c86b2107125

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-2_arm64.deb)
SHA1: 6a28c0704cac06ee9bb53264a89960c384141004
SHA256: 8a8bb685bb5bec5ebae9d45885ade087cb9a5fb9ffc50135e2a51f330701a40f

Size: 9,794,224 bytes
why3 (why3_1.3.1-2_arm64.deb)
SHA1: f8f505f7916acdb40aa35423ef804ca5eaece26c
SHA256: 7bc9faf7e0adcf96d9d63ab08d4f654ed4c1f4414bbe3f4a1a82a4e5a34bb175

Size: 44,525,920 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: 20f99f3f0dc8eeab671430c4b20ed48417fdd503
SHA256: cacb8f88f219a8c54c588a1afd724415df1eb9e4550aa0214678bbaec86d0fd5

Size: 958,908 bytes
why3-doc-pdf (why3-doc-pdf_1.3.1-2_all.deb)
SHA1: 41f5e5d6e1a5727026958db55e54c9c76ba0775d
SHA256: 63b72e87646312cf4d10eb0109f0baee3aa9416ef9a8834be0a65b4b12b3d1cb

Size: 1,057,628 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: 4f6ac8a614985671e9f3d53fdc2c7eb9bf0650fd
Size: 8,263,192 bytes
libwhy3-ocaml-dev-dbgsym_1.3.1-2_arm64.deb
SHA1: f0e53fef59d44686fa92fb072cac8b0fa00e50ef
Size: 689,724 bytes

Submissions

9scw3c7c
Submitted
Sun, 31 May 2020 16:24:56 +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="1586279499"