why3_1.2.1-3_all.buildinfo (view)

Source
why3
Version
1.2.1-3
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 16 Feb 2020 19:47:33 +0000
Build-Path
/build/why3-1.2.1

First submitted
Sun, 16 Feb 2020 19:49:18 +0000
SHA1 of .buildinfo
2ccae7021b725265f4b839078bc969f64d338573

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-3_i386.deb)
SHA1: a2a6d3379b85f48476c27363d121a4a11dec1a33
SHA256: cdbd9b6350815115a8df7b9c95d460ddd6d756fdf5f0c624d86ac3292cf55634

Size: 7,649,924 bytes
why3 (why3_1.2.1-3_i386.deb)
SHA1: 47168cd749c3d7dfbe445074ec212f84d49df5f4
SHA256: b2323a65feed3e04906a4c5755fb75c8d7958a6b62ed18b69f105ea428cee866

Size: 26,785,584 bytes
why3-coq (why3-coq_1.2.1-3_i386.deb)
SHA1: d22166c645f3ba283dd679bd974e75f9a245fde8
SHA256: 7c51f864ce9a2e61e004d6039d135e06cfa3be3e65d28c9b773d8296ae2ebc1a

Size: 601,896 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_i386.deb
SHA1: d395a2967d2487f6b75f68183b82b899e73f8a0e
Size: 6,480,308 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-3_i386.deb
SHA1: 6e5a749b53ec375e619583351160a9d7dd6775b5
Size: 527,544 bytes

Submissions

x9rckeiu
Submitted
Sun, 16 Feb 2020 19:49:18 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1581339471"