why3_1.2.1-2_all.buildinfo (view)

Source
why3
Version
1.2.1-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 12 Dec 2020 23:16:10 +0000
Build-Path
/build/1st/why3-1.2.1

First submitted
Sun, 10 Nov 2019 17:43:20 +0000
SHA1 of .buildinfo
38d221dc5021d993b9599172f4c3ce0d070a491f

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-2_amd64.deb)
SHA1: 38b207487df6674050e354d60d5d254920ac6da4
SHA256: d77c8a536c88adfbd779b76adb86cb51c309f720ef0ae959847f7e80817d86b0

Size: 7,983,436 bytes
why3 (why3_1.2.1-2_amd64.deb)
SHA1: 7306a38762f059257e9ba2cef34ab03377581504
SHA256: 9a2b29e18cbfa9b9cbe3aacf7cb82bfed55ea22967cdd7fcde1858c2a998d992

Size: 30,790,868 bytes
why3-coq (why3-coq_1.2.1-2_amd64.deb)
SHA1: d4fff71d7e16409280923683662bca18cbfc8fc7
SHA256: 1dd923694ffb46bae8a7b5f4c5508d0cdec85af256fd651bd5cc865062d51cfe

Size: 596,444 bytes
why3-doc-html (why3-doc-html_1.2.1-2_all.deb)
SHA1: 836f9f2f0904819a99856b4af67124acf5fd8a29
SHA256: ef0a62e17316ab6947a39fbbccc601925cba6f2366fb9930a4b6c7b8494da1c7

Size: 362,460 bytes
why3-doc-pdf (why3-doc-pdf_1.2.1-2_all.deb)
SHA1: e9892acb4c5ba5c0343d3f3ae889f05c61853321
SHA256: ad21ba8c84c88d25dac7fd86d144c540f180d88e944ba34d17b4d311c3b0b567

Size: 1,274,416 bytes
why3-examples (why3-examples_1.2.1-2_all.deb)
SHA1: 913280b2fec176a9b1ec99a39f3d7f5a5aa380a0
SHA256: 2c293ec96b3b2c7bd44914fa678f68b466de471792bf2afe2511698d2be6873b

Size: 2,473,808 bytes

Other checksums

why3-dbgsym_1.2.1-2_amd64.deb
SHA1: dae7b89d1d9eb8fbc67e5722ac6aa33a69946056
Size: 6,696,396 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-2_amd64.deb
SHA1: 51d0978de768d978a5f97dc5fdb421b7ab2dd60b
Size: 543,580 bytes

Submissions

rf4tk4gp
Submitted
Sun, 10 Nov 2019 17:43:20 +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="1572814928"