why3_1.1.0-1_all.buildinfo (view)

Source
why3
Version
1.1.0-1
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 5 Nov 2018 21:37:35 +0000
Build-Path
/build/why3-joNBH4/why3-1.1.0

First submitted
Tue, 6 Nov 2018 09:08:53 +0000
SHA1 of .buildinfo
bb6fc97953d5972af5c52f19801d4638f9fe1863

Binaries

libwhy3-ocaml-dev ()
why3 ()
why3-coq ()
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

Submissions

muuyz7oh
Submitted
Tue, 6 Nov 2018 09:08:53 +0000
Signed by
0xCBDB2D31225910EA

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1541442236"