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
Wed, 13 Nov 2019 08:26:30 +0000
Build-Path
/build/1st/why3-1.0.0

First submitted
Thu, 11 Oct 2018 03:00:29 +0000
SHA1 of .buildinfo
cc45b798dbf67f35dc5248e68ee374fd182c1750

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-2_amd64.deb)
SHA1: 740961dafbe924d0af7589c0b30fe46be1883068
SHA256: df4d277e89c77df35b6d1b7a174ffffd893ba8ccf177b1fa30f7ad2261f6a247

Size: 3,797,312 bytes
why3 (why3_1.0.0-2_amd64.deb)
SHA1: d1fdab557db88f205110349c37aac2d202e24ac0
SHA256: 748ee8f390bfb296d4e631ace3c2e1c6e35b9a6ec108e9e4cfdcb08df02449e4

Size: 27,912,544 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: 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_amd64.deb
SHA1: a15e1a09c28f2baadb3308f8272990c1545694a5
Size: 6,063,636 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-2_amd64.deb
SHA1: 84f0ef68e703dd46896819af82a86fe76a2741d4
Size: 500,820 bytes

Submissions

rgom9saf
Submitted
Thu, 11 Oct 2018 03:00:30 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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