why3_1.0.0-2_all.buildinfo (view)

Source
why3
Version
1.0.0-2
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 13 Oct 2018 01:49:20 +0000
Build-Path
/build/1st/why3-1.0.0

First submitted
Sat, 13 Oct 2018 05:59:54 +0000
SHA1 of .buildinfo
046d9d09414b09a12c308f237839c77e68d8d1d1

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-2_armhf.deb)
SHA1: 2fd12ef93da370d882b013d5a3452978b96cbcd9
SHA256: 36c1ffc71491201d23121c4c1e216e6394ff6dded6ecc7ac822c6f3596d6e00b

Size: 3,868,952 bytes
why3 (why3_1.0.0-2_armhf.deb)
SHA1: 5c17c214f0e9df864454ca8eea16a4cd5bfa4b82
SHA256: ba37498950c1351ba4b24df9e65e1c318cb77202cccc390d98962eb7d0be1574

Size: 17,108,364 bytes
why3-coq (why3-coq_1.0.0-2_armhf.deb)
SHA1: fbd8f99ce06d1194e2a75eb39852993024532f53
SHA256: f0eecbc8f03adb396687dd0698bb3aa8f4996a48fc76f9e47e7b6ad617dee332

Size: 561,840 bytes
why3-doc-html (why3-doc-html_1.0.0-2_all.deb)
SHA1: 913c76efe097690ffaa1164a36dd93a9940fe6b1
SHA256: 85b3a58961aae4f439c4d10a4cd95601bc01a33c507c2aca5656598de67fa853

Size: 331,832 bytes
why3-doc-pdf (why3-doc-pdf_1.0.0-2_all.deb)
SHA1: c79baac7cd90188b7ace1728c1accad934b0c6b9
SHA256: 9b3c369078d10377134ca522f42626a2982c77f4eade26814257f4d9d171c63c

Size: 1,071,864 bytes
why3-examples (why3-examples_1.0.0-2_all.deb)
SHA1: 6b84165c9b87de0e3c59d58f2434afc73ecdef1f
SHA256: d541d549046d5cee89de60c17a70314b2db9f103a9424bce761375c9d6bc4818

Size: 2,486,076 bytes

Other checksums

why3-dbgsym_1.0.0-2_armhf.deb
SHA1: ade6b2f7b549450cadc1be0fc999fe87c5fb358a
Size: 5,184,276 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-2_armhf.deb
SHA1: 845022d376e99d15fb99c7561386a97d6633c1dd
Size: 443,068 bytes

Submissions

gxwddpyu
Submitted
Sat, 13 Oct 2018 05:59:55 +0000
Signed by
0x8AEA1470736A9EB3 cbxi4a (Automatically generated key for signing .buildinfo files)

Environment


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