why3_1.2.1-2_all.buildinfo (view)

Source
why3
Version
1.2.1-2
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 15 Nov 2019 05:35:23 +0000
Build-Path
/build/2/why3-1.2.1/2nd

First submitted
Fri, 15 Nov 2019 06:04:18 +0000
SHA1 of .buildinfo
33a4e7d0eecebf2148caf5f935275639fe301465

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-2_i386.deb)
SHA1: a91ed84b437f53fa7af71fd922ce611f4918ab5f
SHA256: c59d631872ab5e9a21373a9c5544c346f90697609b0c7e2848e77e24c8dbc09b

Size: 7,671,696 bytes
why3 (why3_1.2.1-2_i386.deb)
SHA1: 15aa1dc846516f68c3606651b6b06ae5acd66cdb
SHA256: 41cd8f9307a27268e453f1c262b92a5612e701a00a234eab283c4c416291a8f9

Size: 26,808,632 bytes
why3-coq (why3-coq_1.2.1-2_i386.deb)
SHA1: 676ae1ae2f0d2e73ccbbbac37b350a7e91c4b775
SHA256: 2063e8dc66c05ca9e5eee6857d69c14f1de2381c555df107575e333e1cd087b6

Size: 601,792 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_i386.deb
SHA1: 4a7d9b3ceb6be75844dafff927a046a3db769889
Size: 6,468,008 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-2_i386.deb
SHA1: ef2fdf2be7dca02944360ace07022c02dc11d6a1
Size: 527,672 bytes

Submissions

vtvrokmt
Submitted
Fri, 15 Nov 2019 06:04:18 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1572814928"