Source
why3 (1.2.0-1)
Version
1.2.0-1+b1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 23 Jul 2019 13:53:57 +0000
Build-Path
/build/why3-uiJk9O/why3-1.2.0

First submitted
Tue, 23 Jul 2019 18:47:54 +0000
SHA1 of .buildinfo
ec861a7c412170782a41f4db43a1be31ad5061f8

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-1+b1_i386.deb)
SHA1: ebd045c367df32a1e68bae667eccccce54155118
SHA256: 09ae0dc39e6a531a39145a000b1a0540527a2e77fe2f7916635faeb454a7c872

Size: 7,510,176 bytes
why3 (why3_1.2.0-1+b1_i386.deb)
SHA1: 87d272ead562ba3867d2ad1b5699f396eea33d65
SHA256: 286d8e258d449117285230cff209a512b9bcddc7e6fe7da78dda4f33c6d041e5

Size: 19,937,152 bytes
why3-coq (why3-coq_1.2.0-1+b1_i386.deb)
SHA1: 76456c5927c5076edf19d8120cc36e6b1e1c7fb3
SHA256: 4b543e6cbf55b29eed082a363cff8611fd95c8badfecf300ba72337d67a0fe61

Size: 602,256 bytes

Other checksums

why3-dbgsym_1.2.0-1+b1_i386.deb
SHA1: 5bd8fd93e962cd8364b8056f1b4e62a02d62d94c
Size: 5,911,528 bytes
libwhy3-ocaml-dev-dbgsym_1.2.0-1+b1_i386.deb
SHA1: 449f439feab38b36b15e021e478998a971a77694
Size: 498,368 bytes

Submissions

Submitted
Tue, 23 Jul 2019 18:47:55 +0000
Signed by
0xB6798C98C3897D0D

Environment


DEB_BUILD_OPTIONS="parallel=4"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1563889853"