why3_1.2.1-1_armel.buildinfo (view)

Source
why3
Version
1.2.1-1
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Wed, 30 Oct 2019 09:17:48 +0000
Build-Path
/build/why3-5EcZCz/why3-1.2.1

First submitted
Wed, 30 Oct 2019 12:24:03 +0000
SHA1 of .buildinfo
ab0531c45b94c30f31557e5fc777cae0ae5512fa

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-1_armel.deb)
SHA1: 706a3dfe368811505e47c9a8e6b492e2d5e1941f
SHA256: cdfd86f3982a76ec8cb04e4c5e5329a29b03bf7b60449ec611f0a246ac95fee9

Size: 4,092,512 bytes
why3 (why3_1.2.1-1_armel.deb)
SHA1: 7eb042f059562abd3bf291f4428af3cfcc5c4e87
SHA256: 0a2a161774af6641260ecf2ae24ac1ecacb413e0630643f894c38ac73bdb5363

Size: 54,166,696 bytes
why3-coq (why3-coq_1.2.1-1_armel.deb)
SHA1: 51b6137974cd7950dc019f743d3f82a3bb30ab49
SHA256: 2b247355041e3dec1d8d237fc62e122a7bbd5cfcdb2267784601bf6672da2b1a

Size: 595,736 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.1-1_armel.deb
SHA1: ea3266e8cc902464f9e1466a333d412292ae46f8
Size: 97,056 bytes

Submissions

zbdw3gzz
Submitted
Wed, 30 Oct 2019 12:24:03 +0000
Signed by
0x8D01D8A51F7D9F50

Environment


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