why3_1.3.1-2_all.buildinfo (view)

Source
why3
Version
1.3.1-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 30 May 2020 16:49:09 +0000
Build-Path
/build/1st/why3-1.3.1

First submitted
Sat, 30 May 2020 19:17:06 +0000
SHA1 of .buildinfo
c7de86e95c6387e7271e199eff8af87abc52d916

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-2_amd64.deb)
SHA1: 8c7fd1042b38a4e58d0529a6806ff44ea12d036b
SHA256: 1078ecd09218036ea663638d6a07d3491dc3bb4578838e5e5295a8b13401a91a

Size: 8,698,576 bytes
why3 (why3_1.3.1-2_amd64.deb)
SHA1: 814338ebd158ad7d633ceb5e1aab4eb78d6af669
SHA256: 2807fe824e966203cd1ca29a21201f053af12b3c6a8be21a81793073856f9f9e

Size: 34,025,924 bytes
why3-coq (why3-coq_1.3.1-2_amd64.deb)
SHA1: b8b30e50c4fec2169870549a997b6d5348a66bb3
SHA256: 09d0405287c08dbb6edc4fcc19628ef04b975d782ddcbf241a3f033d6aba7c0a

Size: 799,224 bytes
why3-doc-html (why3-doc-html_1.3.1-2_all.deb)
SHA1: 20f99f3f0dc8eeab671430c4b20ed48417fdd503
SHA256: cacb8f88f219a8c54c588a1afd724415df1eb9e4550aa0214678bbaec86d0fd5

Size: 958,908 bytes
why3-doc-pdf (why3-doc-pdf_1.3.1-2_all.deb)
SHA1: 2d8e01605c88109ff593e51aa91e0f0d33a7c2e5
SHA256: 471c81e31a9882f96195d9bb68a8d73d6e2bfb87b3da861c3c231f85a2a2ec6b

Size: 1,057,660 bytes
why3-examples (why3-examples_1.3.1-2_all.deb)
SHA1: ac6cee6c6f4ea4e659d17d00c3c153d5b759a8c0
SHA256: 07dfe8be6b226f63b351a483848f3c534a1ca668128e86932616fcb3cc04e207

Size: 3,505,744 bytes

Other checksums

why3-dbgsym_1.3.1-2_amd64.deb
SHA1: 8591194654edc81df8ac65eb35892fe8ff819634
Size: 7,819,680 bytes
libwhy3-ocaml-dev-dbgsym_1.3.1-2_amd64.deb
SHA1: bc48ecb4f74c2acb35acb2f7135f4ecb7963b0ae
Size: 595,740 bytes

Submissions

9hcmpenv
Submitted
Sat, 30 May 2020 19:17:06 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1586279499"