coq_8.6-5_armhf.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 10 Feb 2018 01:50:28 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Sat, 10 Feb 2018 04:46:22 +0000
SHA1 of .buildinfo
c6dc8dc38dbebc7e234452a3112aa7cc6c880ce9

Binaries

coq (coq_8.6-5_armhf.deb)
SHA1: 23c121658fecc1bfdd35f352ac92441000f4e447
SHA256: f24a4df6cb82ac5b278f9550ebfa106dbbd33ab3d0f49a9c06e26445be94c2e1

Size: 17,035,352 bytes
coqide (coqide_8.6-5_armhf.deb)
SHA1: f800ccc4292ed4dbfdc1f42d09aebe5a5c29bb8c
SHA256: d92ae37f8ab5c0fb6f06f084e6224158d96f2ddda6f29cfd96db816433a23c89

Size: 1,500,904 bytes
coq-theories (coq-theories_8.6-5_armhf.deb)
SHA1: f47c3b522a7d103c1532c756a15796aad5ec3b61
SHA256: 2f85267185ff97c259ec092b693792672401032fb9d0ec61f34fb8eb7da6510c

Size: 22,889,708 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_armhf.deb)
SHA1: 0e83c03e0a4b76ebb53ddf1a544baafb51270340
SHA256: dace1404826d6306dfe70a8e703c3149208432e5612881116b413fc167e1fb26

Size: 3,576,036 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_armhf.deb)
SHA1: a8ababd622749173b7c20312bc1a98a1f31d7e2e
SHA256: f594892ac17f44e8fd67c2302b8e816f5d1bf42379933d6fc0dddd2bb336db97

Size: 14,377,176 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_armhf.deb
SHA1: 44e0c18dee29aa9c54879fc321ff72b66cca09ba
Size: 104,568 bytes
libcoq-ocaml-dbgsym_8.6-5_armhf.deb
SHA1: 3b63719fba7c81adaf5297aa27cb4977594a879d
Size: 328,048 bytes
coqide-dbgsym_8.6-5_armhf.deb
SHA1: 825e14b74eed00c294d009a84d1ab943023d6f6f
Size: 442,616 bytes
coq-dbgsym_8.6-5_armhf.deb
SHA1: e8d8f6e0626337ab968a593df3d541ab9104504d
Size: 1,702,500 bytes

Submissions

tt34fpfg
Submitted
Sat, 10 Feb 2018 04:46:22 +0000
Signed by
0x9538881E43D098FB jtx1b (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="coq_8.6-5=/build/coq-8.6/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1506416932"