why3_1.2.1-3_all.buildinfo (view)

Source
why3
Version
1.2.1-3
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 16 Feb 2020 21:29:08 +0000
Build-Path
/build/why3-1.2.1

First submitted
Sun, 16 Feb 2020 22:02:18 +0000
SHA1 of .buildinfo
90c9dbd0108d1cf822dab4da71b7a01a205085a8

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-3_armhf.deb)
SHA1: 9fd5109286dfa42aa06a5d82189bd711e4d74e79
SHA256: eb80c8596cea4ab609a62b956c36a82adfb8184d87f49c4c32e3dc2bb3dfeb20

Size: 8,059,072 bytes
why3 (why3_1.2.1-3_armhf.deb)
SHA1: cfc1868e32fbc64fcdec5ae15d58efb89938b0b6
SHA256: ca3d889cf89ad284c8a39aa3cbaa0bcea49b76adf4ecb4ed24ddf5b011206154

Size: 20,420,960 bytes
why3-coq (why3-coq_1.2.1-3_armhf.deb)
SHA1: ae7a9c2fd9d1287c73f7735c143cda89f55baef5
SHA256: 8fb10f55431012be0e2421c5410089f3446bc6f21a8e29a91810973c5d477063

Size: 596,484 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: 8163c6f096294d97cd26a3d332a48f6a78b37acd
SHA256: b5ac8a41ea001c0792bfff3bb698e2f87cbe104843df6f59e01e980428384613

Size: 1,274,528 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_armhf.deb
SHA1: 766d47d23dffa888569b171e4d5fbb2f019c3ff6
Size: 5,625,144 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-3_armhf.deb
SHA1: b6acf72bb1088d3958044f1bda835cc24e07919f
Size: 464,776 bytes

Submissions

dc7ntjk7
Submitted
Sun, 16 Feb 2020 22:02:18 +0000
Signed by
0x00C8B57F4FD162BC odu3a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1581339471"