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
Tue, 11 May 2021 04:51:55 +0000
Build-Path
/build/1st/why3-1.3.1

First submitted
Wed, 8 Apr 2020 00:46:57 +0000
SHA1 of .buildinfo
6788934419b785c2e7e1f6ee635dbb2314e84b82

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-2_arm64.deb)
SHA1: 2be19d47b9b03cb1dc1c3ea2c09b29760acd33e4
SHA256: 75c822bd54f60303736710ec329368d4529b325ef426aec6564f3d0309599bbe

Size: 9,792,476 bytes
why3 (why3_1.3.1-2_arm64.deb)
SHA1: 465324d8df026daf084f36a2872159ac87ae7dd0
SHA256: 08000d47e512ccaa71a6644b2891f7e69fc9f92339122435a29ee538c5fb38d6

Size: 44,573,916 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: f09615245fdfe91f4a36ce40a6d798635b6f390f
SHA256: d728b8b668ce286ed0b52fa9861b53c3547b43cf8140387b0a4ca3e5496c17e0

Size: 957,060 bytes
why3-doc-pdf (why3-doc-pdf_1.3.1-2_all.deb)
SHA1: 5e806703b48a3e32dd9684e9f207cfebb1c7de6f
SHA256: e28067b9c0f45da12090f4fc1e6edbfc64c3ff0117f880135d73e8bbd863326e

Size: 1,055,960 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: 467cdae85a5a25cb94ca98b84311bf428f703aeb
Size: 8,285,472 bytes
libwhy3-ocaml-dev-dbgsym_1.3.1-2_arm64.deb
SHA1: e46ff4ce8170dbeb01e51d373a995846783d9e10
Size: 692,044 bytes

Submissions

thwpve3a
Submitted
Wed, 8 Apr 2020 00:46:57 +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"