why3_1.0.0-2_amd64.buildinfo (view)

Source
why3
Version
1.0.0-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 12 Aug 2018 23:14:26 +0000
Build-Path
/build/why3-8UVInp/why3-1.0.0

First submitted
Wed, 24 Oct 2018 23:55:56 +0000
SHA1 of .buildinfo
97b9586ba157f6862028ee6555cc760868dd7688

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-2_amd64.deb)
SHA1: 445cb792d363f40190bb52ad47b43abe270afb4c
SHA256: 7dfcca789fc1a7b98299c23d4c41d154c45c02d2a70bba3fdc78ea1068998030

Size: 3,781,772 bytes
why3 (why3_1.0.0-2_amd64.deb)
SHA1: 3f4cf2c78c452e008b32fdc510c0ddd6bb50ddc7
SHA256: bfab6e1b7df0343dbbbd2c2e52f8873110acc72fddf8bc66a0644a13f42e1345

Size: 27,908,260 bytes
why3-coq (why3-coq_1.0.0-2_amd64.deb)
SHA1: 0544482791a6eb05a008073d32e5cebc0cc1c677
SHA256: 0181f5fec9b3661ac07207bd9919b884e574f161569b541b6d4fea25c5493e3b

Size: 561,584 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.0.0-2_amd64.deb
SHA1: 04eeae56a7a2832686980a57443b0952507ab219
Size: 5,931,304 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-2_amd64.deb
SHA1: b988bc27fc6d38139619d8919d322907719b581c
Size: 500,996 bytes

Submissions

rsnbhbax
Submitted
Wed, 24 Oct 2018 23:55:56 +0000
Signed by
0xE8B8553D9A35F676

Environment


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