why3_1.0.0-2_arm64.buildinfo (view)

Source
why3
Version
1.0.0-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 12 Aug 2018 23:16:16 +0000
Build-Path
/build/why3-75E8EG/why3-1.0.0

First submitted
Wed, 24 Oct 2018 23:57:04 +0000
SHA1 of .buildinfo
2d0722ca2c3dd71cf369d92a9642150c0c02ed58

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-2_arm64.deb)
SHA1: a7edb946741b6795faee1a0a1897733b81563fce
SHA256: ce51fa16c50031c324b1e63a3cc1cd7ef2400e7a4994b4e105a9d13b657d82b3

Size: 4,665,488 bytes
why3 (why3_1.0.0-2_arm64.deb)
SHA1: 5502d649ae6a09759ee35aff9ab6a6505f65569c
SHA256: f335be7caba0551aead10f0f3921760f1acb23ea403b8d19635e26e7ed26476f

Size: 35,862,628 bytes
why3-coq (why3-coq_1.0.0-2_arm64.deb)
SHA1: 22804e946511c7e76104462e5e54fdafe663ab6c
SHA256: 6fbd9b840d04aabd7cdbeb82d6bbd6eb91da166f41c27095f0dbc24c1d13bd8a

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

Other checksums

why3-dbgsym_1.0.0-2_arm64.deb
SHA1: 1569cc6da3e7315681d349e423f0a053eb8590ab
Size: 6,327,760 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-2_arm64.deb
SHA1: 27edf3ca6e7ab20432e972f835815452c1317dad
Size: 593,652 bytes

Submissions

gdgsekpt
Submitted
Wed, 24 Oct 2018 23:57:04 +0000
Signed by
0xDAF8174B4FB933D1

Environment


DEB_BUILD_OPTIONS="parallel=3"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1534109384"