why3_1.1.1-2_i386.buildinfo (view)

Source
why3
Version
1.1.1-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Thu, 10 Jan 2019 21:38:08 +0000
Build-Path
/build/why3-Sz3Zr9/why3-1.1.1

First submitted
Fri, 11 Jan 2019 00:12:22 +0000
SHA1 of .buildinfo
c64a7d76cd99c1d20622203f384ef1ecab67c98b

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-2_i386.deb)
SHA1: 865ec5d15dbb0d0b512189546d3311b7abeeec27
SHA256: cdec6666b9031b274ea9865dcac0e7687013effefb314ba8e3708c90bfb2c456

Size: 3,521,092 bytes
why3 (why3_1.1.1-2_i386.deb)
SHA1: e4602f5a4d0b7c1e7e6fb546c5dbb84fdb01bec3
SHA256: d6a69a392b9e8a8b87f8a2cd05c433ff5da250b22264c76112135b8ad3c18a9a

Size: 14,679,180 bytes
why3-coq (why3-coq_1.1.1-2_i386.deb)
SHA1: f93a59035f6cc0e2f1618a83cead0fe928872172
SHA256: c17522056cbff0f915914226d9902645d0ddc2f4405069963a0f0ee56df8b716

Size: 597,760 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.1-2_i386.deb
SHA1: f9c9191edbcd6d505bba55687e0d5dd93277da71
Size: 5,131,680 bytes
libwhy3-ocaml-dev-dbgsym_1.1.1-2_i386.deb
SHA1: f212a28fd3b77f7dda513193a3c1d23beeb67cbd
Size: 492,788 bytes

Submissions

7khc3nky
Submitted
Fri, 11 Jan 2019 00:12:22 +0000
Signed by
0xF9DB3F7D36830DF3

Environment


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