why3_1.0.0-2_all.buildinfo (view)

Source
why3
Version
1.0.0-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 18 Aug 2018 05:02:48 +0000
Build-Path
/build/why3-1.0.0

First submitted
Sat, 18 Aug 2018 05:03:23 +0000
SHA1 of .buildinfo
14bf061266a78b72a5a9dc347e329d9296ca7537

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-2_amd64.deb)
SHA1: a684c215b27e9b0cad89c78f2f475b5ae2d37b3d
SHA256: ecdff707724c080074abe916acd3de337df4eb47eabd232f31f7058e673a4bc4

Size: 3,795,912 bytes
why3 (why3_1.0.0-2_amd64.deb)
SHA1: e24a04b5c3e567d4950fc2123b27faa3a6cee425
SHA256: 853bba5a9b12bbdcfee53f784703605419080706dbe77e5cd2c26d368cc92bd5

Size: 27,907,296 bytes
why3-coq (why3-coq_1.0.0-2_amd64.deb)
SHA1: 0544482791a6eb05a008073d32e5cebc0cc1c677
SHA256: 0181f5fec9b3661ac07207bd9919b884e574f161569b541b6d4fea25c5493e3b

Size: 561,584 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: 61e308c02c0475e1ec1e8a116ed2cdb5921890db
SHA256: 2273161472f02dbd49283bccdb7c9328f33deb358aad99639ddc8b6823b2f0a5

Size: 1,071,872 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_amd64.deb
SHA1: cf002d954c92d388f2c272dbe0a94f4e1f6e1a9f
Size: 6,074,296 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-2_amd64.deb
SHA1: 72bb82a51be648be8d5d2e525606a531c3c08238
Size: 500,824 bytes

Submissions

qe4rfptu
Submitted
Sat, 18 Aug 2018 05:03:24 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1534109384"