why3_1.2.0-3_arm64.buildinfo (view)

Source
why3
Version
1.2.0-3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 15 Oct 2019 20:27:51 +0000
Build-Path
/build/why3-mfYsGk/why3-1.2.0

First submitted
Wed, 16 Oct 2019 00:42:27 +0000
SHA1 of .buildinfo
22d222eb4bee5d5272c3209e5540d72f60d981f7

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-3_arm64.deb)
SHA1: 5939f830fd2f4dea9d1de2a57f187489d589138f
SHA256: 3c64665624daf6d94fac6afe96658730d1a477c700dda8cd85069eef4efe4498

Size: 8,570,980 bytes
why3 (why3_1.2.0-3_arm64.deb)
SHA1: d448920b35f15db04cfb43530feb8f50cb4751b4
SHA256: 402801a8eaa849ecb076f1e13d62efd1804deefb7d443b6bd0d3979d19d44bd4

Size: 38,268,244 bytes
why3-coq (why3-coq_1.2.0-3_arm64.deb)
SHA1: 301713297b8e9d222aacde969112ec4a8917fdd2
SHA256: c656a878ca7b3d3e39904eb6b20b237e91575bc76ff33a4d6b42b7778efe953b

Size: 596,716 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.0-3_arm64.deb
SHA1: 8bda5501347a3c66a67008ad806b9113d9e082be
Size: 6,515,768 bytes
libwhy3-ocaml-dev-dbgsym_1.2.0-3_arm64.deb
SHA1: c7812d6236002e05347fa2ffc297232dd2d509c9
Size: 604,504 bytes

Submissions

vcujoeea
Submitted
Wed, 16 Oct 2019 00:42:27 +0000
Signed by
0x57B817F3D2848950

Environment


DEB_BUILD_OPTIONS="parallel=16"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1571164954"