why3_1.2.1-3_arm64.buildinfo (view)

Source
why3
Version
1.2.1-3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 10 Feb 2020 15:43:36 +0000
Build-Path
/build/why3-fIRhhT/why3-1.2.1

First submitted
Mon, 10 Feb 2020 19:53:17 +0000
SHA1 of .buildinfo
b8141141ca0fe06a66383e0a311932520d81d1cd

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-3_arm64.deb)
SHA1: efae6a90904fb6742bf33a9acb9ce898b6ade4d8
SHA256: 5ed6fce16b99b4211108db69c54219cc24782850e9e3bd5594fc0ce6e8179b11

Size: 8,714,560 bytes
why3 (why3_1.2.1-3_arm64.deb)
SHA1: 4499e95f094c21c3e754e40c2223231e828e0c0a
SHA256: b4ef5bb04477038b2d5c6a11dd72d96ab05b3c77db7ef19b8df73cb5622f7dab

Size: 39,341,388 bytes
why3-coq (why3-coq_1.2.1-3_arm64.deb)
SHA1: aae0ca01e2c6858b75062d942d48be96101e5951
SHA256: 996edf50c6f63c25a404c2b416fe2aa2b02b5350ae6eb63fec5bb317f0556a69

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

Other checksums

why3-dbgsym_1.2.1-3_arm64.deb
SHA1: 8f127e33eefcf6abb7d00e66c064f66ea73fae15
Size: 6,738,464 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-3_arm64.deb
SHA1: 3d78fd16879e76464433cc1bfe2e2b2a89e2dc10
Size: 613,512 bytes

Submissions

fdtsqnoy
Submitted
Mon, 10 Feb 2020 19:53:17 +0000
Signed by
0x16C00C90428A308D

Environment


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