coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 21 Dec 2018 18:56:21 +0000
Build-Path
/build/1st/coq-8.6

First submitted
Sat, 18 Nov 2017 13:14:35 +0000
SHA1 of .buildinfo
5c6d0fba5f316542e7f2f53932cef4d284e45f7f

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: f0aa2f2b0b645f7d5d61ca8f7b1f16ec23cf18df
SHA256: e0de548b7f8356c1bdf5b3d6e41b491aaf946c61d56f0556c235e946e3a95b9a

Size: 18,890,912 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: bb8c63e1ddec78e74f4ae42e3d17eb9535a79ecd
SHA256: c44ffb7a28310f4c0811f771d5dcda8a171753dc3c2b23aacce4c77d1d29cd02

Size: 1,750,476 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: 5b88360d1db1f07525597b125766fab42574d0d2
SHA256: d54857750f499d63962ab2d83f9e45fcaf3a70f6650bbe327bc8d7316b48f400

Size: 22,867,684 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: 99dea9e97187e617b39cb1d6739e2668a5a1d23b
SHA256: f751322235bd294c8d96de8e5810d5de035a5864bc4acbdf530e95dc6e15452c

Size: 3,824,788 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: d6d2f47e13565d2903eb7c3330f681bc65ba5964
SHA256: 61c0df6469067acac1be3095799273316b548a6db3c9eb6b53e6f1ba9c15038c

Size: 14,087,600 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: 2c1a3f8a7ba74ad39a8b08565d165e0cf5d93ae7
Size: 107,836 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 1e5c447a70472d50c0959f877a5ce61388dfc7ee
Size: 336,488 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: 411fc1919036411b740fc6ce5d69535b86c3cada
Size: 491,936 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: b95d30265d2915ec254104f69fdc03d17b2ba839
Size: 1,853,660 bytes

Submissions

iytn4ijz
Submitted
Sat, 18 Nov 2017 13:14:35 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="coq_8.6-5=/build/1st/coq-8.6"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1506416932"