why3_1.0.0-2_all.buildinfo (view)

Source
why3
Version
1.0.0-2
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 31 Oct 2018 00:23:49 +0000
Build-Path
/build/1st/why3-1.0.0

First submitted
Wed, 31 Oct 2018 02:39:28 +0000
SHA1 of .buildinfo
c458255dbfdb2f0f82a6a45b21f6e7fc6744663f

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-2_arm64.deb)
SHA1: 60319869884d7eea7a15bd3e2e4af2f9ee9ce825
SHA256: 32b97bb0250ff597b40e34d444c0e619a07181a4a94f95fa800b242ee7e161ad

Size: 4,662,940 bytes
why3 (why3_1.0.0-2_arm64.deb)
SHA1: b11898996c111917a1f8bf42b4c4b785b6b27b5a
SHA256: 3802fbd03b3043651bcc69a26fb2d0da165cd05455434c9c4283c64929c90efd

Size: 35,900,408 bytes
why3-coq (why3-coq_1.0.0-2_arm64.deb)
SHA1: 22804e946511c7e76104462e5e54fdafe663ab6c
SHA256: 6fbd9b840d04aabd7cdbeb82d6bbd6eb91da166f41c27095f0dbc24c1d13bd8a

Size: 561,604 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_arm64.deb
SHA1: e229b2f3b1ecb7d0676134aa13eaafcf7f2db506
Size: 6,341,064 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-2_arm64.deb
SHA1: c661409de1f1c9f3e2e84f4f7e5e4fb1cbc2307f
Size: 594,264 bytes

Submissions

gczngkxx
Submitted
Wed, 31 Oct 2018 02:39:28 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-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="1534109384"