why3_0.88.3-1_all.buildinfo (view)

Source
why3
Version
0.88.3-1
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 20 Jan 2018 07:17:09 +0000
Build-Path
/build/why3-0.88.3

First submitted
Sat, 20 Jan 2018 07:18:28 +0000
SHA1 of .buildinfo
5498c2a3e988196b918a3cef04775d9cb6592ece

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-1_armhf.deb)
SHA1: 44c600e117978f4cde318a11d46592d2c58e4725
SHA256: 5f28d8834f9e2c0046379d7f8c23e957995c9372cd1e809114d676c2e39257e5

Size: 1,993,404 bytes
why3 (why3_0.88.3-1_armhf.deb)
SHA1: ca1fc61520144542c6b96bd9c3e83744dc1fcbd0
SHA256: 2f751e59687a66974a83c7de8ef931ad6cd4622059ddc46d9147fb33ff54c37b

Size: 11,135,624 bytes
why3-coq (why3-coq_0.88.3-1_armhf.deb)
SHA1: 93b5aa91c0598bcb06bba35e305412f9397e37a8
SHA256: 010b7f7240bd181bda0bb7d702aea738f74bc1287b0404be1f9a535b55f45100

Size: 2,048,996 bytes
why3-doc-html (why3-doc-html_0.88.3-1_all.deb)
SHA1: 4a32922619d067f7004d10cb17b7411d99800060
SHA256: fc78c9e21539dcbe246bc0604685cdbcedbe33d4911826f8461925649d2ad870

Size: 445,108 bytes
why3-doc-pdf (why3-doc-pdf_0.88.3-1_all.deb)
SHA1: 8e76afe3ef5f0c341b7ce12bcbd13dd120530e54
SHA256: ab5c85e82f50b36af6d39c29550cc523000fc1815e1aeae3f96c0bcac3af8903

Size: 1,250,468 bytes
why3-examples (why3-examples_0.88.3-1_all.deb)
SHA1: ccf48b6de7d5999a96b74f1713c7461eccee489e
SHA256: c66c5698f1a29dd841b32c0dbcbac994dde78ab1de2f353a5cd495bab5c3250a

Size: 1,626,120 bytes

Other checksums

why3-dbgsym_0.88.3-1_armhf.deb
SHA1: 05a4c207f529ae79aa716c53a01353fe193a9384
Size: 3,995,756 bytes
why3-coq-dbgsym_0.88.3-1_armhf.deb
SHA1: 7933991dbfdcde247461459dcf0b50ba8f964c60
Size: 395,764 bytes

Submissions

hufqtjvk
Submitted
Sat, 20 Jan 2018 07:18:29 +0000
Signed by
0xFAC0B94FFF2617A2 cbxi4b (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1515937974"