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
Sat, 3 Jul 2021 21:35:14 +0000
Build-Path
/build/2/why3-1.3.1/2nd

First submitted
Sun, 31 May 2020 16:24:56 +0000
SHA1 of .buildinfo
c89b9d1672a70c020867061eb74594011e8932c0

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-2_arm64.deb)
SHA1: 2fb5307ae89fe29cc86cf3137e58f2d9e291c4ff
SHA256: ca0d80775eefdb19518e37130ce398f2c7d790f455e33bf512444acae076abe2

Size: 9,768,888 bytes
why3 (why3_1.3.1-2_arm64.deb)
SHA1: 6aef59611f6d979b776c506a1ef2339f1733d2e9
SHA256: 4e827d157285fa252988908d504824e426cf4f820398066a10d7fe2bf83db760

Size: 44,585,324 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: d7e037b5a0cc13e97147759ef307aad52713d5ee
SHA256: 168a822cb427791436fef267c07b2987d08390606dd398393642533c79719f78

Size: 1,057,604 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: 8dcf1a5a861db1acd72f803711317a72f592702e
Size: 7,979,616 bytes
libwhy3-ocaml-dev-dbgsym_1.3.1-2_arm64.deb
SHA1: 00f545186ab31b352662c4e01873ba6581e8ec0b
Size: 691,384 bytes

Submissions

pewvkgmh
Submitted
Sun, 31 May 2020 16:24:57 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-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"