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
Tue, 11 May 2021 04:56:17 +0000
Build-Path
/build/1st/why3-1.3.1

First submitted
Wed, 8 Apr 2020 00:48:11 +0000
SHA1 of .buildinfo
edebaef4dc32972393b3c07447a481b40db7e873

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-2_amd64.deb)
SHA1: e16b8774e4619618ffaff521026921b57233c02b
SHA256: dce66747cc4dd6a01c2e7502dd1e2dbf211fdeb2e6fe066bc689526f8eb83ccf

Size: 8,696,864 bytes
why3 (why3_1.3.1-2_amd64.deb)
SHA1: 7ea4ee9620d2c3640ac717b2f9b7099bd9e890fc
SHA256: 53810cab6ee6954dec22b77391270ef1514c33d1bdf33fa9fd30e71cd3f50726

Size: 34,023,752 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: f09615245fdfe91f4a36ce40a6d798635b6f390f
SHA256: d728b8b668ce286ed0b52fa9861b53c3547b43cf8140387b0a4ca3e5496c17e0

Size: 957,060 bytes
why3-doc-pdf (why3-doc-pdf_1.3.1-2_all.deb)
SHA1: 00f5d67b4939bb5351968a77c5160b34cf10faf6
SHA256: 0915b7d4d2c0fdcbc66b6521d01d2d3bee5d31518c3c7cc8c6de5e33ea42c146

Size: 1,055,960 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: 090fc28d8f304e10d2eb82664775af22a909ea1e
Size: 7,787,240 bytes
libwhy3-ocaml-dev-dbgsym_1.3.1-2_amd64.deb
SHA1: 0a5e46c88f2413ad753c23bcb565809be16f27df
Size: 595,740 bytes

Submissions

ezv73nap
Submitted
Wed, 8 Apr 2020 00:48:12 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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