Source
why3
Version
1.0.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 27 Jun 2018 21:49:05 +0000
Build-Path
/build/why3-lLSAjw/why3-1.0.0

First submitted
Fri, 26 Oct 2018 07:59:22 +0000
SHA1 of .buildinfo
70a9c907842d738da13ed03e7aef2f3ccaa75a7f

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-1_amd64.deb)
SHA1: 2291c3120892afffdd64ff80ce6d3be1c89f724d
SHA256: f3b3f2821e7638582946df2b2b49624d41f06ad5324336702cf1569090ad5ed4

Size: 3,782,676 bytes
why3 (why3_1.0.0-1_amd64.deb)
SHA1: a9f673b9273b311a487c2f6963fd5be1180d7052
SHA256: e0a9603cff7771240d5d6ff84788201256f8f8126cc3e043372464b2c1b98279

Size: 27,912,216 bytes
why3-coq (why3-coq_1.0.0-1_amd64.deb)
SHA1: 902ee3114f0dc82bb8437a7be15e3795e62d8ef9
SHA256: 87dd39c26e96d235dbfbc2d2e74f751188053b684a2d58b9b12af1085a1ec15a

Size: 561,520 bytes

Other checksums

why3-dbgsym_1.0.0-1_amd64.deb
SHA1: 135b6b0f9859c7f8f4626fa8f211974429cd2ee4
Size: 5,952,324 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-1_amd64.deb
SHA1: 5344bb30ed1be00a9359e14c331e5f1c036533e9
Size: 499,856 bytes

Submissions

Submitted
Fri, 26 Oct 2018 07:59:22 +0000
Signed by
0xF9DB3F7D36830DF3

Environment


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