why3_1.2.1-1_arm64.buildinfo (view)

Source
why3
Version
1.2.1-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 30 Oct 2019 09:13:40 +0000
Build-Path
/build/why3-ct14Jw/why3-1.2.1

First submitted
Wed, 30 Oct 2019 12:22:19 +0000
SHA1 of .buildinfo
02d845bba3abc3409fe28301cfcd4b7d85bf332e

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-1_arm64.deb)
SHA1: affc7a75ec80611103ee97a277f73c30d7c6618c
SHA256: 5d08cef3d83e5ee03118f5a48c5bdebd4933e430853bffd2d8a0529c9131f6b5

Size: 8,552,492 bytes
why3 (why3_1.2.1-1_arm64.deb)
SHA1: 1dc26a0a4dfca948d5a19d201d9132caf4ca1fa2
SHA256: f62eaea135865d75a35975cb5fa365851a79d01efe0456d20b8341ea4a2263ce

Size: 38,295,116 bytes
why3-coq (why3-coq_1.2.1-1_arm64.deb)
SHA1: 538770d525f23e4bc165790dbb5316b6620b1688
SHA256: 766c8067c3be783c837d49dfac410d996cbb687d37f49bc2d114f5b3520ba1b4

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

Other checksums

why3-dbgsym_1.2.1-1_arm64.deb
SHA1: e584015c44dce1994d76e7e40ea1a981bde35ac9
Size: 6,546,824 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-1_arm64.deb
SHA1: c31d4eac7f8523fe34156166f4831feb6e39bdea
Size: 605,584 bytes

Submissions

c4hnxczz
Submitted
Wed, 30 Oct 2019 12:22:20 +0000
Signed by
0x57B817F3D2848950

Environment


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