why3_1.3.1-3_all.buildinfo (view)

Source
why3
Version
1.3.1-3
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Thu, 27 Aug 2020 00:09:04 +0000
Build-Path
/build/why3-1.3.1

First submitted
Thu, 27 Aug 2020 00:09:32 +0000
SHA1 of .buildinfo
a4d77b9c1104714d3ea6064ac3eb184617767649

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-3_i386.deb)
SHA1: 95d1c9b3a58e2300a9f6018a0590f5e3af302f7c
SHA256: 4db9fcb8345a06e5eee0d037c72201ffad978dd6602b6d9cfe223095e0757ba4

Size: 8,285,188 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.1-3_i386.deb)
SHA1: af788684357a5040ebe592666db22997af5e25da
SHA256: 09ba1a19ad08de9f221ccbd98a3bf6c66536423f5da8c3fb261f1fa89e097a02

Size: 578,900 bytes
why3 (why3_1.3.1-3_i386.deb)
SHA1: f0096e19477c0fcb4261cccccc29851f70951104
SHA256: 57eb60627165542767f78e34650be76abfd0ccdb6016e7a34256b29764537ce2

Size: 29,369,704 bytes
why3-dbgsym (why3-dbgsym_1.3.1-3_i386.deb)
SHA1: acd0f86e3d11487fc93e852444b4b8cea2b1623a
SHA256: 59b4a190f02e6dfce2ff65317396a3b63a7e0f11595d5569e3804e50d6405f3e

Size: 7,525,968 bytes
why3-doc-html (why3-doc-html_1.3.1-3_all.deb)
SHA1: be3f9349a28b15230aebf841ec7a2e64ddd2d90b
SHA256: a76eace000e2b16e715ea51117adb539d8a5da3012153f913f96bc1ae72dd338

Size: 959,840 bytes
why3-doc-pdf (why3-doc-pdf_1.3.1-3_all.deb)
SHA1: 4b765a6eeb5cb696165a613acb0513125fe4c51d
SHA256: 95bb4a24da1e294b805c56d0e28e388b3f66d4d4dfbeda0524021d84630d114f

Size: 1,055,340 bytes
why3-examples (why3-examples_1.3.1-3_all.deb)
SHA1: 8212e5afa109e6da08e43ed98f55ac55663f561b
SHA256: 54520af63b41c8f08cb09bfddbe13555cd09caeafaea4396c47d63b34ad3d1a5

Size: 3,505,860 bytes

Other checksums

Submissions

x9apkgr7
Submitted
Thu, 27 Aug 2020 00:09:33 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1597532906"