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
Thu, 29 Jul 2021 13:59:47 +0000
Build-Path
/build/1st/why3-1.3.1

First submitted
Fri, 26 Jun 2020 09:19:06 +0000
SHA1 of .buildinfo
4d6a80bd0aaa761c2574bd0b72b6a945eb8b3c35

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-2_arm64.deb)
SHA1: a1870602aee006adb09c3135208b2f7cf28dd5b4
SHA256: a41e70f6f8d3d0792dfbc1ba9e2c47667d140321159c6517619abbca95db15c0

Size: 9,795,128 bytes
why3 (why3_1.3.1-2_arm64.deb)
SHA1: 8aebcdbe1d1ffca6363479778706f5275b37fe6c
SHA256: ff2fb0a7305fa8938e751da3a1d0babc062134de8e255b8d3f5e98d46ca94ada

Size: 44,548,028 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: 27a2b0d3d5b370ab6bbffaa8b65b791f48a67b52
SHA256: 76a4251438a0510d9a32197c151bc830cd9d4fe912dd85fa873da69b03d8b286

Size: 1,057,640 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: dd1e1193958e5893e05ecdcdb56371010fc96c0a
Size: 8,005,172 bytes
libwhy3-ocaml-dev-dbgsym_1.3.1-2_arm64.deb
SHA1: e9a31a44d9c5cabbad928e59385d614c9531a0b3
Size: 689,732 bytes

Submissions

fhsfcdpr
Submitted
Fri, 26 Jun 2020 09:19:06 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-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"