why3_0.87.3-2_all.buildinfo (view)

Source
why3
Version
0.87.3-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 3 Nov 2018 12:42:29 +0000
Build-Path
/build/why3-0.87.3

First submitted
Sun, 1 Oct 2017 06:19:38 +0000
SHA1 of .buildinfo
b34e4adf9106e068645ed9629d56d5c2f06b00d3

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_amd64.deb)
SHA1: 8661f58f02fdf456efa1a52f885f6475b708c252
SHA256: 1419d998339d677b65bb2683aec382388ce8d9a1c492848d9038866d9f85eeb3

Size: 4,667,416 bytes
why3 (why3_0.87.3-2_amd64.deb)
SHA1: 3b237576ae239be81956b27de34b67806fff7f9b
SHA256: 6195de1a829bce6d1a7725c805fbd2d07b131389b7df9c78023754b60d6a4bf2

Size: 13,426,964 bytes
why3-coq (why3-coq_0.87.3-2_amd64.deb)
SHA1: f079aead07a11b01b67e6027cf05fc0b0c6f33af
SHA256: c086ad99df7e1b3e1e06bb45ffa722e22078befa388787f04eb46c3f2e2ec44b

Size: 5,154,162 bytes
why3-doc-html (why3-doc-html_0.87.3-2_all.deb)
SHA1: 6595c1f295bb6f8c9595664faed3762799678efb
SHA256: 9ec9bf441d49422e8c60bc63c8e4c58e730eb9f86ef3b52483448575645ca1ff

Size: 725,018 bytes
why3-doc-pdf (why3-doc-pdf_0.87.3-2_all.deb)
SHA1: 1d1fa32bfedb3140c7ee868dc17c7aedb31f8f6c
SHA256: 9f3ae2885b80365f8c7b5461766ac2a1d7bdd57ff81425e9773e5008ed948d0a

Size: 1,228,908 bytes
why3-examples (why3-examples_0.87.3-2_all.deb)
SHA1: 1fef7d967386d525280d00564a9b1a418b54bf62
SHA256: d076e123815a2c10747e9abe866c0296c6d984f5aaeb17d2823c444aebdecf27

Size: 1,750,660 bytes

Other checksums

why3-dbgsym_0.87.3-2_amd64.deb
SHA1: 6b56ec1d83a05eda58d081cc8c5c385323b85a86
Size: 2,919,598 bytes
why3-coq-dbgsym_0.87.3-2_amd64.deb
SHA1: 55fce8b678345b4f40d271463bb3656c49907920
Size: 300,942 bytes

Submissions

tmnyejna
Submitted
Sun, 1 Oct 2017 06:19:38 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1485028928"