coq_8.6-5_armhf.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 27 Sep 2017 07:59:19 +0000
Build-Path
/build/1st/coq-8.6

First submitted
Wed, 27 Sep 2017 08:27:22 +0000
SHA1 of .buildinfo
4751ae6947313778f7c2d3d362969dca207c8e21

Binaries

coq (coq_8.6-5_armhf.deb)
SHA1: c226b1c3e32256f81d27efc2f4fc40dcf39ca04b
SHA256: 19663599324cd5ac6843040a0a97f1144029599381d2c44853ca474fbdbaed86

Size: 17,636,452 bytes
coqide (coqide_8.6-5_armhf.deb)
SHA1: 6b1151e99aa4dceaa9cdbedc7854a786bbec0f52
SHA256: f38d7b9c10e06e2835bbd1d6a77e22e2e433694d49397469a163160acb7a6190

Size: 1,798,548 bytes
coq-theories (coq-theories_8.6-5_armhf.deb)
SHA1: 2f14aca9ef6894e102bcb2bdedf176d220a4c27c
SHA256: 7efc320156e954e6c5b171302cb0f89382f9f97f863044a7c68a09688153649e

Size: 22,904,708 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_armhf.deb)
SHA1: bcdc0d4c4b266f1d54df4c1d507ef36ecc27c8b0
SHA256: 1b3380a1cd50242e00b63089e52fb2b395a4d7336f839dd7df4e10ea4ed4d194

Size: 3,674,268 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_armhf.deb)
SHA1: fd1aa872ccf1ef78b9c579fcad6666941a284f3d
SHA256: fc223e5ad714eeca69a22ffb3c7f6251373e6c2e6fdcd4e6a1dec079bdccfdfa

Size: 14,771,940 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_armhf.deb
SHA1: a528cb2a5de9187dfbb487ec1dc9496aebcf64e3
Size: 106,500 bytes
libcoq-ocaml-dbgsym_8.6-5_armhf.deb
SHA1: 6e8f1572112cfdbb535cd956dba3d6d8c91444cc
Size: 333,564 bytes
coqide-dbgsym_8.6-5_armhf.deb
SHA1: 0dba44ee3c9eb56876f770ca3f4dcb5472210b22
Size: 450,258 bytes
coq-dbgsym_8.6-5_armhf.deb
SHA1: 3fe88bc9ebdb518a7c6ad3ad722128f020288385
Size: 1,715,278 bytes

Submissions

fuw7mhmf
Submitted
Wed, 27 Sep 2017 08:27:22 +0000
Signed by
0x0A07D6A9A1E93BC8 jtk1b (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=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1506416932"