why3_1.2.1-3_all.buildinfo (view)

Source
why3
Version
1.2.1-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 14 Feb 2020 22:48:27 +0000
Build-Path
/build/1st/why3-1.2.1

First submitted
Sat, 15 Feb 2020 00:01:08 +0000
SHA1 of .buildinfo
bf123ab3bcf32516c9b1699bf5bde752bf817967

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-3_arm64.deb)
SHA1: 987fededb904c3278a92d1405f668f49c2d93540
SHA256: 59c21e5c10ffddc0091dd1f962db6d2aa733f62eef594c161eea58807fe3d1da

Size: 8,716,964 bytes
why3 (why3_1.2.1-3_arm64.deb)
SHA1: d57270568278ae0bdd2c9a224b63fac0fa6f5ddd
SHA256: 71226afcef8a04cc295e50d6bd924b86a301c4b3bef56b6104d68742347d39aa

Size: 39,349,556 bytes
why3-coq (why3-coq_1.2.1-3_arm64.deb)
SHA1: aae0ca01e2c6858b75062d942d48be96101e5951
SHA256: 996edf50c6f63c25a404c2b416fe2aa2b02b5350ae6eb63fec5bb317f0556a69

Size: 595,496 bytes
why3-doc-html (why3-doc-html_1.2.1-3_all.deb)
SHA1: a71186ffde35ff5b34082e87895cc7cde6044a1b
SHA256: a73d168c6cfb181e52ee07d6ef2558edecc626797c2787fac8e16f11a2c98d58

Size: 362,604 bytes
why3-doc-pdf (why3-doc-pdf_1.2.1-3_all.deb)
SHA1: 9292a9c3f040fb3a88b4341c778523e5745091b0
SHA256: af7fbb576ddc6d4ebf9872e9ca42c85c2ef84c5eeff94b8c48af18c824238323

Size: 1,274,760 bytes
why3-examples (why3-examples_1.2.1-3_all.deb)
SHA1: 93daca0891c5efbdf2fd1823f39c95e57281fd39
SHA256: 39061b77af0ec60ef1a22f78aed8b88c954d8c4cb7111f8259040c15f295c084

Size: 2,473,820 bytes

Other checksums

why3-dbgsym_1.2.1-3_arm64.deb
SHA1: 36bd51ba4b322708d1e494bd4a853109455c6e46
Size: 6,777,012 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-3_arm64.deb
SHA1: b5069c07a05aad3ccd3b2aa0b6a729826417bfa6
Size: 615,952 bytes

Submissions

rckzafku
Submitted
Sat, 15 Feb 2020 00:01:08 +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="1581339471"