why3_1.2.0-1_i386.buildinfo (view)

Source
why3
Version
1.2.0-1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 15 Feb 2019 22:18:26 +0000
Build-Path
/build/why3-03mvkR/why3-1.2.0

First submitted
Sat, 16 Feb 2019 00:11:37 +0000
SHA1 of .buildinfo
6c510db3e4c63cc95c60eb07cffcaa48df1fa310

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-1_i386.deb)
SHA1: 89c47fbb02cdf27308a28815e5d73b7e64292720
SHA256: a741a7aa160d5609a2f617f347a7b8569fabfa0a9b8439200598a84c8e18e666

Size: 7,508,580 bytes
why3 (why3_1.2.0-1_i386.deb)
SHA1: 5a5b4908e45946c590a78c04e35520246f277761
SHA256: 3a8037db9db16da371170b97403058c2b103b2ee2c3fc5ae3641129a7289500c

Size: 19,952,852 bytes
why3-coq (why3-coq_1.2.0-1_i386.deb)
SHA1: 56e68cfa1170a4c004c5f7862334b5d524f0ba63
SHA256: f56257f8fabeb9f7eb04ffbe496fdec6c79ba2b8d8d0bf17d72002cb2fac93a5

Size: 601,900 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.0-1_i386.deb
SHA1: 1048360d237b5a255f7808dc9bfc298b3bca801f
Size: 5,876,920 bytes
libwhy3-ocaml-dev-dbgsym_1.2.0-1_i386.deb
SHA1: c8847b33f619fbb5328d3f5e763ec6e6e063c8fd
Size: 499,552 bytes

Submissions

ydtdjymb
Submitted
Sat, 16 Feb 2019 00:11:37 +0000
Signed by
0xB6798C98C3897D0D

Environment


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