why3_0.87.2-3_all.buildinfo (view)

Source
why3
Version
0.87.2-3
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 6 Feb 2018 16:08:44 +0000
Build-Path
/build/1st/why3-0.87.2

First submitted
Wed, 4 Jan 2017 10:08:53 +0000
SHA1 of .buildinfo
47469802928186ae572258d3d04bf03f15cc21ae

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.2-3_i386.deb)
SHA1: 7caebd1f6c4e19a74b8148f302385d25231cdcf6
SHA256: 9706c0ad8c8ca667629d608fe8a9abf2d376c0d2dfbec5e1bdea70eb0dff4a55

Size: 4,644,516 bytes
why3 (why3_0.87.2-3_i386.deb)
SHA1: b9e33f58663af82cf553bf3eee4b44da923dbff7
SHA256: 2c8dcc30a983611cc3963fb98cbb7640ff3f3218a6bbd9bf6d9a099b99c3f685

Size: 11,418,168 bytes
why3-coq (why3-coq_0.87.2-3_i386.deb)
SHA1: 652b4a18327237fea57270d59320b50d55c7c9b2
SHA256: dd01a685782906944843c2da80ad094fbeb017a5d4e5b746da04c8fa6e002944

Size: 4,982,020 bytes
why3-doc-html (why3-doc-html_0.87.2-3_all.deb)
SHA1: 4a88ff9f37f857613e9c8b98e20156a1f94ed37e
SHA256: 4a8f83df284ead731b483408865af4e9c077a958f4f7648213cca519099af9d2

Size: 724,642 bytes
why3-doc-pdf (why3-doc-pdf_0.87.2-3_all.deb)
SHA1: e5851a08679c5dffc735c054dff2c004fd9f4588
SHA256: 0e3cfb0cc1c1260bb84a77ca26eb8c01bb56d5837fc2eb2bf223141eb679cc79

Size: 1,228,200 bytes
why3-examples (why3-examples_0.87.2-3_all.deb)
SHA1: 97b52c3febffa6f3d88205adf07c50f487d3a378
SHA256: 70a3cc1efe0affd80b4e28373107bf5364e311996a8da990b6032a81e5e8864c

Size: 1,750,374 bytes

Other checksums

why3-dbgsym_0.87.2-3_i386.deb
SHA1: f0fc13f74082703cc06e37fac3538a029ed8cf91
Size: 3,816,882 bytes
why3-coq-dbgsym_0.87.2-3_i386.deb
SHA1: 82bc97ac226537fe2a34cb001f19ddb37b5722f3
Size: 291,690 bytes

Submissions

eevxsgrv
Submitted
Wed, 4 Jan 2017 10:08:54 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1483473365"