why3_1.2.1-2_all.buildinfo (view)

Source
why3
Version
1.2.1-2
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 3 Nov 2019 22:10:47 +0000
Build-Path
/build/why3-p2ZTI7/why3-1.2.1

First submitted
Mon, 4 Nov 2019 00:14:47 +0000
SHA1 of .buildinfo
7d574ad519f21666942c85c71f4d1f1120c72621

Binaries

libwhy3-ocaml-dev ()
why3 ()
why3-coq ()
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

Submissions

3b9q3tre
Submitted
Mon, 4 Nov 2019 00:14:47 +0000
Signed by
0xCA34C7F06ADE3B10

Environment


DEB_BUILD_OPTIONS="parallel=4"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1572814928"