coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 9 Jun 2018 23:36:07 +0000
Build-Path
/build/1st/coq-8.6

First submitted
Sun, 10 Jun 2018 01:27:42 +0000
SHA1 of .buildinfo
1da0aa5773d1fc091d465e6a66bba2428da443be

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: ae7d321e7a9ab0660d26e36e9f8912f946ee6871
SHA256: e77f2a27be7ff1b543f146a584b9a8bba6d7d09a4fb7505ba5711b730c9ef933

Size: 18,903,688 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: cc4318fcc77dbad649d9ffe82689e341c4ef7b25
SHA256: ab75c30fe7696f42774cd1a85eb4489cbc56c0ba043e782ab59fe825afaa02f3

Size: 1,754,496 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: 10f6d98239c51542eb11089b9bebb6093c4e7be6
SHA256: 099c91a9c9e1173bdc3dc739fb7f66da788cca898f9d1ed4d72ed671369f5e2b

Size: 22,871,532 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: 85d19515ee4433f3ca6ab34acb8820895f522740
SHA256: 68e10319265520795282076024186e962ceb883e0c0caceccaa50e71625233f7

Size: 3,824,812 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: a633c990db79ecfd48b39bae403db2aebd657ac8
SHA256: ea4c8c4871b7a5de2ceb963cc24ad229df0e239903ce9f55c5c3a70d2f326096

Size: 14,088,736 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: 855b18994f9d3282f32adea342256a3baf5b5dc8
Size: 107,444 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 32c1bd4fc2104b9961a17889493226569db3694a
Size: 336,880 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: 5427112543e03f33aabffdf44c08e8dc0be2ce97
Size: 493,224 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: 1cd0755070e73619add906de184d79fb3eaf43c0
Size: 1,853,104 bytes

Submissions

jy4aubat
Submitted
Sun, 10 Jun 2018 01:27:42 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-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"