why3_0.88.3-2_hurd-i386.buildinfo (view)

Source
why3
Version
0.88.3-2
Architecture
hurd-i386

Build-Origin
Debian
Build-Architecture
hurd-i386
Build-Date
Sun, 8 Apr 2018 20:36:21 +0000
Build-Path
/build/why3-lEe7hy/why3-0.88.3

First submitted
Fri, 26 Oct 2018 18:24:33 +0000
SHA1 of .buildinfo
68ad65457d90171adaa603aa1a68a30437029c65

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-2_hurd-i386.deb)
SHA1: feb2f2b34429f6c917d841f8ddf9f0062335b62c
SHA256: 00a156368e5b0a4310a958dae26a916c86becd73d2c5fea747f867b022e428f7

Size: 1,826,588 bytes
why3 (why3_0.88.3-2_hurd-i386.deb)
SHA1: 0de5445f6afb680890ba6c270c3dee98e89db938
SHA256: 303530edbd2f3d0256d257483b3b8d5cedb7514767026b04494115e2a35c7bab

Size: 12,955,200 bytes
why3-coq (why3-coq_0.88.3-2_hurd-i386.deb)
SHA1: d2c81e386dbaee7e8b29dd51308175548281f969
SHA256: aa16e9724ef4104d0189555f0a55d64bc4d7021bb682d63befc6dc8c66d842fb

Size: 1,904,876 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.88.3-2_hurd-i386.deb
SHA1: aadd9587833fb4ebaf151894e802c74a0bf665cb
Size: 4,353,772 bytes
why3-coq-dbgsym_0.88.3-2_hurd-i386.deb
SHA1: 401b3b42adf2d3ad2eb82c5107c5c124bd74e2bf
Size: 434,508 bytes

Submissions

spvoxgow
Submitted
Fri, 26 Oct 2018 18:24:33 +0000
Signed by
0x9E511E01C737F075 Samuel Thibault <samuel.thibault@ens-lyon.org>

Environment


DEB_BUILD_OPTIONS="parallel=1"
LANG="en_GB.UTF-8"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1523094841"