why3_1.1.0-1_all.buildinfo (view)

Source
why3
Version
1.1.0-1
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 9 Nov 2018 07:41:26 +0000
Build-Path
/build/why3-1.1.0/2nd

First submitted
Fri, 9 Nov 2018 09:22:30 +0000
SHA1 of .buildinfo
675b6f8884a06ade2382fe2adb781a7257e6008b

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.0-1_armhf.deb)
SHA1: 07ce34df9243883e87fbfa41366fbaaec352d31e
SHA256: d625e7c12bb71fd1691627c916bfc8aa71fabcbf7bdf67e00d34a15ef8fb395f

Size: 3,930,724 bytes
why3 (why3_1.1.0-1_armhf.deb)
SHA1: 4ee72b99cf0fe9c138865c0b1ec480c79e2839b4
SHA256: 585545a56195110f4f470a89c2fbd5c83694172b19d7f6ec12f5a239c69ab0e1

Size: 13,330,572 bytes
why3-coq (why3-coq_1.1.0-1_armhf.deb)
SHA1: c5e29a3020754036204abf1726c2423337f476db
SHA256: 74cca50ea4d24757aa2f2b8f32328382500a484e371e820d047da0b9a388b428

Size: 588,992 bytes
why3-doc-html (why3-doc-html_1.1.0-1_all.deb)
SHA1: c650dc9710cb3c437e9e6585e4195a7ca622a88b
SHA256: 4fe33339a739606fe0d9979e4cbc51065d9c2075da8ab46dd360db540625b2c9

Size: 355,480 bytes
why3-doc-pdf (why3-doc-pdf_1.1.0-1_all.deb)
SHA1: 101bc416f1fb382536835bcdc622b0ba9dc26573
SHA256: 789da24f8faa3d3843ab3fde01f1cd95ecc8c5abee3747a08ad0181f6ce7b3d5

Size: 1,149,856 bytes
why3-examples (why3-examples_1.1.0-1_all.deb)
SHA1: f32cb887cdaf4f858ad10a1cf7bde7ac2589296d
SHA256: 21028c6220b2ca37695a6cb31e061fb9b12deb8ed08a34c027dbb844eb05b585

Size: 2,775,072 bytes

Other checksums

why3-dbgsym_1.1.0-1_armhf.deb
SHA1: f369ce9affbb90b0b6f66feecd0087d5d144beb9
Size: 4,566,432 bytes
libwhy3-ocaml-dev-dbgsym_1.1.0-1_armhf.deb
SHA1: 53f67adbffc28c675f6d6a1d350c7dd2f7dce466
Size: 445,568 bytes

Submissions

yvszhorf
Submitted
Fri, 9 Nov 2018 09:22:30 +0000
Signed by
0x4AB633F00B2AAAA1 odxu4a (Automatically generated key for signing .buildinfo files)

Environment


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