why3_1.2.1-1_all.buildinfo (view)

Source
why3
Version
1.2.1-1
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 30 Oct 2019 17:19:15 +0000
Build-Path
/build/2/why3-1.2.1/2nd

First submitted
Wed, 30 Oct 2019 19:17:00 +0000
SHA1 of .buildinfo
2a77e9ef92943b51ed85e1772c3a2c3ff375b6aa

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-1_armhf.deb)
SHA1: 0ac48f53825a48b7e87351c8a96e4283a2b006fd
SHA256: cb9b1b564d22db31e0c2437e74968d1c1174e684f5b0b17bb6106220d6545dc5

Size: 7,904,208 bytes
why3 (why3_1.2.1-1_armhf.deb)
SHA1: f7d08419f0a967a83303dbecb88ec3979ccf537c
SHA256: f62ea6a80a93804b2af3ef4f4a7cb8ff2fc501c55f90bd2ea778d694cdadae0e

Size: 19,201,856 bytes
why3-coq (why3-coq_1.2.1-1_armhf.deb)
SHA1: 719895fab73d89bd5dc4915a3c92f6d3dc172b5b
SHA256: 95d93bb4ed1d8bcd4b317eb0544de1cc396d74cf8432de07d9c9e04fcff9f8d5

Size: 602,356 bytes
why3-doc-html (why3-doc-html_1.2.1-1_all.deb)
SHA1: 1dc077bb564fbad91345147bfa2fe99acc0e7cf5
SHA256: 323a5f1c92234fb840620c5475fe404b2ce9a7bc0afb582745874821417c5d86

Size: 362,468 bytes
why3-doc-pdf (why3-doc-pdf_1.2.1-1_all.deb)
SHA1: d668d7b5ae51b6f451a67a2ff44a5fcdd93c060a
SHA256: 0c96d894882c0d5c00ec7507b504b43ca0f623b57b71d7e61676db23fa748827

Size: 1,274,368 bytes
why3-examples (why3-examples_1.2.1-1_all.deb)
SHA1: 05a4d8d6a46dab36213f6d2dc855f07424429ccc
SHA256: 79fdea218f0f11c1cccd41aa471b5e50a6f4dfbad0c1d334ee94897b89f5ebe6

Size: 2,473,720 bytes

Other checksums

why3-dbgsym_1.2.1-1_armhf.deb
SHA1: 7a61582a3333f247113d254d701550ec4917d277
Size: 5,295,540 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-1_armhf.deb
SHA1: 6fdda202d85ba5eacbcf4ab76069833cce5f65d6
Size: 453,148 bytes

Submissions

xjupqpdf
Submitted
Wed, 30 Oct 2019 19:17:00 +0000
Signed by
0xB31CD0602364F84B jtx1c (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1572284919"