coq_8.5-2_arm64.buildinfo (view)

Source
coq
Version
8.5-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 25 Dec 2016 03:05:29 +0000
Build-Path
/build/coq-8.5

First submitted
Sun, 25 Dec 2016 03:16:58 +0000
SHA1 of .buildinfo
cdac2ee269c071e3c87d316c2abbbd956f8f7a37

Binaries

coq (coq_8.5-2_arm64.deb)
SHA1: a4e42842b35cc1e6c6e1b1652b11e2d877b5a8f1
SHA256: 706965f5c9b29ada58bf3b91972c1a001f2b09e5b3bf56639f474343958dfeb7

Size: 13,494,050 bytes
coqide (coqide_8.5-2_arm64.deb)
SHA1: 8f7c4891713c174476196bb79edd62ab1dcbfcb6
SHA256: beb423a7761161229d6a79914ae4bc92ee085e46b7a0ea4b15890a63f6817fe2

Size: 1,293,330 bytes
coq-theories (coq-theories_8.5-2_arm64.deb)
SHA1: 1ac9696bc556235a50aa571326ebcd0c30b80fec
SHA256: 653072cf863c89c029c6b4bf30897b3aac2ba912276ea10e23a6be8d8f7bf4a2

Size: 24,198,264 bytes
libcoq-ocaml (libcoq-ocaml_8.5-2_arm64.deb)
SHA1: 8739c31e77c8ca9de3031613c456dbafdf174b00
SHA256: e3908103a1506f3a5e68e0aae0ab7b2332e9d43cbffc5dd18686f04e2a1dcdaa

Size: 3,411,226 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.5-2_arm64.deb)
SHA1: bc0ae1ca178d2ae4c9782a118a46c4703a7e4d80
SHA256: 1cdebabee5cf9de7edf1dced0eb89e9e10169d85d14098070b63220a30993f06

Size: 13,671,886 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.5-2_arm64.deb
SHA1: b9e83aa3e31984709c4b2f93b231a569aa85fba1
Size: 82,818 bytes
libcoq-ocaml-dbgsym_8.5-2_arm64.deb
SHA1: 851fd1a65868f2054bdb181ade52a2fa24651a7f
Size: 243,138 bytes
coqide-dbgsym_8.5-2_arm64.deb
SHA1: 906f7e0fa6ef5c7b87b36e381fd797a0540d3678
Size: 347,134 bytes
coq-dbgsym_8.5-2_arm64.deb
SHA1: 6aaa509853e3494e6c84e0a94ef59fe942ca4b95
Size: 1,315,570 bytes

Submissions

rshzphbg
Submitted
Sun, 25 Dec 2016 03:16:59 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=8"
LANG="nl_BE.UTF-8"
LC_ALL="nl_BE.UTF-8"
SOURCE_DATE_EPOCH="1453978027"