why3_0.88.3-2_all.buildinfo (view)

Source
why3
Version
0.88.3-2
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 14 Apr 2018 13:19:23 +0000
Build-Path
/build/why3-0.88.3

First submitted
Sat, 14 Apr 2018 13:21:08 +0000
SHA1 of .buildinfo
cee7f3e322df2b7e9439a03dd4e7ecf37dd0968d

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-2_i386.deb)
SHA1: 3a10ab46526c006432ed68cc3f1a199d855693ab
SHA256: 961d3bdc335897c89a65a1fe95db89a9ad3e114e5885daae65b2ab0b6a634d3d

Size: 1,825,676 bytes
why3 (why3_0.88.3-2_i386.deb)
SHA1: 14fa324d8523c47ce42acd6ba61f8e27682984dd
SHA256: fa4cedd3ffc8484f63abb726d0387239aa450ccef4300feb6aec9a10e6663568

Size: 12,935,312 bytes
why3-coq (why3-coq_0.88.3-2_i386.deb)
SHA1: 682f2ef189dcd3e8888d64af3da1d101abf5b831
SHA256: 5cc9c4c7c244d3adb32b5460e871c71ee18a310143c198e56655b8913d9654e1

Size: 1,908,892 bytes
why3-doc-html (why3-doc-html_0.88.3-2_all.deb)
SHA1: c6fbaa198ffaf81deea1ed8e26d74e6f99667ff2
SHA256: 9aef090a799f5c15da82e33112cd499d17a423b25ac77f6d52f393de3dfe4046

Size: 445,228 bytes
why3-doc-pdf (why3-doc-pdf_0.88.3-2_all.deb)
SHA1: 802ec03886607c493a706f192cdf5d68e56c5e2d
SHA256: 698ffb470c97747158e816b985844fc9556fa8a2d34c4bbdae33d4b415c08830

Size: 1,250,624 bytes
why3-examples (why3-examples_0.88.3-2_all.deb)
SHA1: 0ba7e78bbb8da880c7337daf5808da8ea8319654
SHA256: 84824fd368df4ba00503086d6edf0aa8eb55e6b65be25a75b66d0eb723998933

Size: 1,626,120 bytes

Other checksums

why3-dbgsym_0.88.3-2_i386.deb
SHA1: 2149e1ee12b53b6bab0dbaa0b9314119a5d21a4d
Size: 4,367,280 bytes
why3-coq-dbgsym_0.88.3-2_i386.deb
SHA1: feb57d8f45b6fd4bb38e0739eb56c4fa842ef4d0
Size: 435,100 bytes

Submissions

ju4khrst
Submitted
Sat, 14 Apr 2018 13:21:08 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


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