why3 (1.2.1-2)_1.2.1-2+b3_arm64.buildinfo (view)

Source
why3 (1.2.1-2)
Version
1.2.1-2+b3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 22 Jan 2020 15:05:04 +0000
Build-Path
/build/why3-o8l2wY/why3-1.2.1

First submitted
Wed, 22 Jan 2020 18:45:58 +0000
SHA1 of .buildinfo
87bade9e1a41cf6ae2c0803ffb480ad9c8080dc5

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-2+b3_arm64.deb)
SHA1: 60c78f5f399a755d6d36601c846a2a11aefe5863
SHA256: 8af064abfb26590a6be4f1fdff8ffe359a4857198072f7cb57799fb1c0b76c0e

Size: 8,717,028 bytes
why3 (why3_1.2.1-2+b3_arm64.deb)
SHA1: c12942fdd97aadb20d2ffdced10b14f9c1892094
SHA256: cf5cf83010a79dff3b5ad7c2d194a67f716c309d869bd7873b5c1b1c0b95801d

Size: 39,334,912 bytes
why3-coq (why3-coq_1.2.1-2+b3_arm64.deb)
SHA1: c2fa65a23af8a07a9a1baebecd39634c1d7ade30
SHA256: f399767f6a458b6676126a05306b86b8285e517606941bb88a9711d1f5492b21

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

Other checksums

why3-dbgsym_1.2.1-2+b3_arm64.deb
SHA1: 77c68725c49282d1ea2a55c0528990a74d2eee17
Size: 6,734,748 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-2+b3_arm64.deb
SHA1: c99401421f3c8156dea207fd4f9b0ff6fcdc97ea
Size: 612,696 bytes

Submissions

vmhgv9qq
Submitted
Wed, 22 Jan 2020 18:45:59 +0000
Signed by
0x2052CFAF653F2630

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1579705133"