why3_1.0.0-1_arm64.buildinfo (view)

Source
why3
Version
1.0.0-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 27 Jun 2018 21:52:11 +0000
Build-Path
/build/why3-tRXPxu/why3-1.0.0

First submitted
Fri, 26 Oct 2018 07:58:49 +0000
SHA1 of .buildinfo
5553770292af63fd7cc8401c6de6abed94d2ead6

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-1_arm64.deb)
SHA1: 7111a7a0bbb65fc836c0310d40c7f2108741e489
SHA256: 6354c67b8c7e1bd121eee625ee367bb3c74089c59f4f3decf12482fc1def0277

Size: 4,646,956 bytes
why3 (why3_1.0.0-1_arm64.deb)
SHA1: 0026960daadaef28881d57af8ee9fcb1b00d5e65
SHA256: a82dca66ca1150ba0fbff6f58e1be9889d6fbf318137f01c768ff8b9789caad5

Size: 35,860,728 bytes
why3-coq (why3-coq_1.0.0-1_arm64.deb)
SHA1: 5a89daf27ab8fd19b1102cf9cb042f2e707147da
SHA256: c9983081da2cbf76ba398bad8164726ee73c820989c6f7d9a1a7196c59c8a391

Size: 561,432 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.0.0-1_arm64.deb
SHA1: 83addb28ff1d3091bb108fd3f8d8b0228f62390c
Size: 6,380,740 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-1_arm64.deb
SHA1: 422fd780ec13dc31d766cba690ac37b8293e6405
Size: 594,820 bytes

Submissions

svvjcbei
Submitted
Fri, 26 Oct 2018 07:58:49 +0000
Signed by
0x1BF74A54DF9399DA

Environment


DEB_BUILD_OPTIONS="parallel=6"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1530130773"