why3_1.1.0-1_all.buildinfo (view)

Source
why3
Version
1.1.0-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 12 Nov 2018 22:53:26 +0000
Build-Path
/build/why3-1.1.0/2nd

First submitted
Mon, 12 Nov 2018 23:22:33 +0000
SHA1 of .buildinfo
89d3f9063163b971a5d3fb0a35f16c1f31f14444

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.0-1_amd64.deb)
SHA1: 8b641bfe562c9e818be43025c72c89f186501213
SHA256: 96e50f72f3a1d55c226b050827f966c74c6fe4bfa1f46fe70a2c8a096b68822a

Size: 3,841,720 bytes
why3 (why3_1.1.0-1_amd64.deb)
SHA1: def32bcdeb5bdb224f9cac36bdfc61daf73e3e14
SHA256: 71ddce0a3b47ba548c4ce716dfc35f78e16087d8785b9885070ed77b60aacc99

Size: 24,972,492 bytes
why3-coq (why3-coq_1.1.0-1_amd64.deb)
SHA1: 1dba12268e42594d93f9ea4fe7ab384408fa5a71
SHA256: cdd914a2aedc16b0ef77bfa0c3adb19aa0c6f02e933f5a42f43ca6a4a69753fa

Size: 588,520 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_amd64.deb
SHA1: cf23cd354f65ec9b2fe26f68dda7ca81b73b9a20
Size: 5,323,700 bytes
libwhy3-ocaml-dev-dbgsym_1.1.0-1_amd64.deb
SHA1: b6e162004f498c385bd2b100b77f7adc86d4d2df
Size: 504,148 bytes

Submissions

ydqeycvm
Submitted
Mon, 12 Nov 2018 23:22:34 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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