why3_1.0.0-1_all.buildinfo (view)

Source
why3
Version
1.0.0-1
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 25 Jul 2018 09:09:01 +0000
Build-Path
/build/why3-1.0.0

First submitted
Wed, 25 Jul 2018 09:11:35 +0000
SHA1 of .buildinfo
839fca67243a06eeb1f38f75489dffcdf1ad6dcb

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-1_armhf.deb)
SHA1: f71843ecd233e29a5b8d03a2485275a921eee2cf
SHA256: 2186f89b759a51ff4199c4c610f292065aa68bd5e797a7b4991448133a918528

Size: 3,869,600 bytes
why3 (why3_1.0.0-1_armhf.deb)
SHA1: c6d26f6006ac9dec8143342e6b769be3a3ceeee5
SHA256: 03fb2ac7f2eb32565d376dafe081fcfea0fd82c92fe2a493870c850648c1533e

Size: 17,126,484 bytes
why3-coq (why3-coq_1.0.0-1_armhf.deb)
SHA1: 8f31a904fd1eb33d0fa85ef142908c397fc32796
SHA256: 56e569d7c945b0803093f83fcc735d3544db6130a1b32e405bef9b8ff699c249

Size: 561,540 bytes
why3-doc-html (why3-doc-html_1.0.0-1_all.deb)
SHA1: c67c74678d4c4a053d9f89fc8c923034f1eac379
SHA256: afb6c9e54c8b1ed1d5f7b68f79dc250971e5640546d55e6c5ddb4fe053529561

Size: 331,752 bytes
why3-doc-pdf (why3-doc-pdf_1.0.0-1_all.deb)
SHA1: 332f90cda55b6dcdbd96b1d2e5ad8e87ea650003
SHA256: fe47f6de291c58de194bcde394af52b808a18698b22929972f7a6a70568adf66

Size: 1,071,688 bytes
why3-examples (why3-examples_1.0.0-1_all.deb)
SHA1: c9dbe166918b57a140a06edef31d739153706af7
SHA256: 58c7805cf18c5e0fd02e33fbae828f97b9b4c1e6fc47438a85c39781f932cf35

Size: 2,485,884 bytes

Other checksums

why3-dbgsym_1.0.0-1_armhf.deb
SHA1: 168f011f8eac6fa9af15c025ce16106dbdf6b1d4
Size: 5,210,744 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-1_armhf.deb
SHA1: 6f065f0e319d4477e0a2d2f2b4482b93c74bf164
Size: 443,616 bytes

Submissions

utfk9cgt
Submitted
Wed, 25 Jul 2018 09:11:36 +0000
Signed by
0x101CF655F3A0F753 ff4a (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="1530130773"