coq_8.6-4_arm64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 6 May 2019 19:14:24 +0000
Build-Path
/build/coq-8.6

First submitted
Tue, 3 Apr 2018 14:59:28 +0000
SHA1 of .buildinfo
ab4ed2ab8a393b116f17cb4e16bde1ed862c5073

Binaries

coq (coq_8.6-4_arm64.deb)
SHA1: f3162ab221187f181f5e76cdbbbb451965397285
SHA256: 37f22a888fb80054ad04e043a7dbee1cfd42e94666dd2b664d1a2ec31a8f01cf

Size: 13,817,620 bytes
coqide (coqide_8.6-4_arm64.deb)
SHA1: dade95201b265e52144ade07e92548b8a3bb956d
SHA256: 3cee51305d5c3be8abfe1091c4f8ec5ce2599093d20ecab76417bf93441cf5aa

Size: 1,422,856 bytes
coq-theories (coq-theories_8.6-4_arm64.deb)
SHA1: b0416cd7b7b7fc314ab219ae070e66df131b506c
SHA256: a059e33fd252200476d24e26116822550c1cce71c5cf2ee0ad6d6988bc28abeb

Size: 22,857,022 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_arm64.deb)
SHA1: a34d8d921d9406ad60eb8d91333f932ae3501904
SHA256: 514f7624429a0abfe4dd0126262b5fc1fcc5d37daa5c1758f749a8dd8ea3ab60

Size: 3,477,160 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_arm64.deb)
SHA1: ff007be3469850ffb0b80985298e0259fd27b9c1
SHA256: a8207a7a8bd4025e34fcf3826004202bb333d8cc2a2f1b8786b9f791a4f14316

Size: 13,518,728 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_arm64.deb
SHA1: b38680f3f2f025a65afa21f7250f23dbfe9c0586
Size: 79,256 bytes
libcoq-ocaml-dbgsym_8.6-4_arm64.deb
SHA1: ff675cd6bcbfd77371ce9c402c0216d60133358b
Size: 253,194 bytes
coqide-dbgsym_8.6-4_arm64.deb
SHA1: 7c339792a689c8e987ab7ad6ee6521918d90602b
Size: 356,342 bytes
coq-dbgsym_8.6-4_arm64.deb
SHA1: ef42535c5c1e54a9ca1980cd998e9e6431124dce
Size: 1,307,148 bytes

Submissions

fouczufn
Submitted
Tue, 3 Apr 2018 14:59:29 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1483051547"