coq_8.6-4_armhf.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 19 Apr 2017 12:52:11 +0000
Build-Path
/build/1st/coq-8.6

First submitted
Wed, 19 Apr 2017 15:39:07 +0000
SHA1 of .buildinfo
3a65380ad2ca62cfdb6e01a796e47e827d29d10f

Binaries

coq (coq_8.6-4_armhf.deb)
SHA1: 6250feebada549bce61349a5d925275ce6f33172
SHA256: 8b0ffa2f10f5d3b5a329c614627927d56a11a5a0d218b3ec930044fef579db13

Size: 13,917,410 bytes
coqide (coqide_8.6-4_armhf.deb)
SHA1: 0a4ce2a509e74a2141854b9a50d2babf3f2f8ff9
SHA256: 0e81880e7d802f66351546f98820b5865268564569176469057e16fe07eaa30e

Size: 1,471,934 bytes
coq-theories (coq-theories_8.6-4_armhf.deb)
SHA1: 1c787662f1530acbeda5c1be3de1e5673e1f0ae6
SHA256: ac5f710ef2f24ffeb5223e11f1a75b5a5fec4b13338da6e41085d43ed5ce7444

Size: 22,841,314 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_armhf.deb)
SHA1: 49ef8868985e1489eef37a88ee88d7004c60b223
SHA256: 66ece9eea5950c9742f13380fe7ceddff546becfc880a763eb22fcfbcd92e640

Size: 3,564,014 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_armhf.deb)
SHA1: 54db7ad19ce6dca8b0980f54f09919c1293dc2eb
SHA256: 8ca4d2f7b196ac8b542d2c6bf692ae40e55b7761f634cef789345c03c98ddd62

Size: 14,153,910 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_armhf.deb
SHA1: 8da3f03ec4bff474ad1454ea94b53288d326317f
Size: 86,292 bytes
libcoq-ocaml-dbgsym_8.6-4_armhf.deb
SHA1: 01cfafca17b3ed628ecc49d45938bc3bd0e4612b
Size: 282,430 bytes
coqide-dbgsym_8.6-4_armhf.deb
SHA1: 5a89b0af405a64dec0702e91293583b485d09fb2
Size: 376,800 bytes
coq-dbgsym_8.6-4_armhf.deb
SHA1: 3ea0d1b41faa011fe486509ed1b73bb1ab575df8
Size: 1,438,442 bytes

Submissions

zjdsciqz
Submitted
Wed, 19 Apr 2017 15:39:08 +0000
Signed by
0xF8FAD05CE1845E42 wbq0 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="coq_8.6-4=/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="1483051547"