why3_1.2.1-2_all.buildinfo (view)

Source
why3
Version
1.2.1-2
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 9 Nov 2019 11:35:53 +0000
Build-Path
/build/1st/why3-1.2.1

First submitted
Sat, 9 Nov 2019 13:30:26 +0000
SHA1 of .buildinfo
e2cc8d1d8f1c92ed9bb31ab2aa8aa0866b369063

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-2_armhf.deb)
SHA1: f4bc4e6d4afdd4437bafe4487b5fa8453130a0ff
SHA256: 728f564450e90258c2eda8ce5119972abee4954888dee14b9ff91583ac3a2656

Size: 8,059,448 bytes
why3 (why3_1.2.1-2_armhf.deb)
SHA1: 13286c74fbc7cf4bc07edac3be8d88d7f5cdf9ab
SHA256: d4fe62790f698f243e072a069732267bb8433e43d14d13ca43ca75faab2df04e

Size: 20,393,488 bytes
why3-coq (why3-coq_1.2.1-2_armhf.deb)
SHA1: 1bee73c872f35b6c23a4171991026b5d6b74dd6e
SHA256: 44a388643cc2c6a47b3812e8bbc244706240a7f4b0a4ffba9e18e8aaa2ffd30a

Size: 596,900 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_armhf.deb
SHA1: 2c10008a7a5ede985899ec3bca5fdda306427f84
Size: 5,617,076 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-2_armhf.deb
SHA1: 04487b7a588551d33b7d16d1f523d97f3ebe0454
Size: 464,188 bytes

Submissions

koii4jpo
Submitted
Sat, 9 Nov 2019 13:30:27 +0000
Signed by
0x8D1C4325E9E3C0CC opi2c (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1572814928"