why3 (1.1.0-1)_1.1.0-1+b1_arm64.buildinfo (view)

Source
why3 (1.1.0-1)
Version
1.1.0-1+b1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 19 Nov 2018 18:42:37 +0000
Build-Path
/build/why3-w0rwSP/why3-1.1.0

First submitted
Mon, 19 Nov 2018 20:00:46 +0000
SHA1 of .buildinfo
e9a681466df6055123d5f3b9066ea2180628571f

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.0-1+b1_arm64.deb)
SHA1: ebf14a714da26a6a98456e9cc1492139398c01b1
SHA256: 7bd153ee1fb99d31a1ef119bd3e446af4695a332efc78b05b7818541d3bca2fb

Size: 4,699,296 bytes
why3 (why3_1.1.0-1+b1_arm64.deb)
SHA1: 20030765d72e62117c2a2efbb7a67e3628b2646a
SHA256: 9e5091158863d7d8aabcabecfdf840af6eaa03f48525729090d689ac73930f87

Size: 32,297,292 bytes
why3-coq (why3-coq_1.1.0-1+b1_arm64.deb)
SHA1: 0cc847e8175b8da958f5390ca629b2b4395e629b
SHA256: 5407e569c8986246b0ef2ce6c10ef8f0217c963aaaa65c190233c399c2961249

Size: 589,208 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.0-1+b1_arm64.deb
SHA1: 5287e66208aba243e8bf07a8c663a5ea8b0253f8
Size: 5,438,808 bytes
libwhy3-ocaml-dev-dbgsym_1.1.0-1+b1_arm64.deb
SHA1: 08a74a932317b5ed77d2045a72ba225723bf6918
Size: 595,392 bytes

Submissions

symnanes
Submitted
Mon, 19 Nov 2018 20:00:46 +0000
Signed by
0xE611BE85831E4433

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1542652647"