why3_1.0.0-1_all.buildinfo (view)

Source
why3
Version
1.0.0-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 17 Jul 2018 02:28:12 +0000
Build-Path
/build/1st/why3-1.0.0

First submitted
Tue, 17 Jul 2018 03:08:32 +0000
SHA1 of .buildinfo
fcc198ea90ed59aa34a87481efcb7728dade273f

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-1_amd64.deb)
SHA1: f2f64241f42e09fafde0c121060da9aef430d178
SHA256: 7a682c3fa1bda144c715ddd6a3ab69f7253db2561804eaf63a195bf583cadaf5

Size: 3,789,080 bytes
why3 (why3_1.0.0-1_amd64.deb)
SHA1: 9b335492d76991904df94213fe3deb1955e6094f
SHA256: 08e4c346f99f35ced0ba89a33b2b5d8fe3087f3ee44925c72caf0cd22e8ff3d7

Size: 27,908,236 bytes
why3-coq (why3-coq_1.0.0-1_amd64.deb)
SHA1: 902ee3114f0dc82bb8437a7be15e3795e62d8ef9
SHA256: 87dd39c26e96d235dbfbc2d2e74f751188053b684a2d58b9b12af1085a1ec15a

Size: 561,520 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_amd64.deb
SHA1: 02500ea798eca4b88cb020c9d3f643cd319c5672
Size: 6,003,784 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-1_amd64.deb
SHA1: a1e2ed628b50bb3f2ba35e8ced117a204887226d
Size: 500,128 bytes

Submissions

vbzioqwh
Submitted
Tue, 17 Jul 2018 03:08:33 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why3_1.0.0-1=/build/1st/why3-1.0.0"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1530130773"