Source
coq
Version
8.6-4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 29 Jul 2017 03:27:36 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Sat, 29 Jul 2017 03:45:12 +0000
SHA1 of .buildinfo
294878b0c22ddc285ca30d4c844ebe7e349f065b

Binaries

coq (coq_8.6-4_armhf.deb)
SHA1: da311f6eed163e5da30de057f0dadbfd3db81053
SHA256: 8113a1b0ffee853557fd754b1185015042d588ed1dcdeddf53d9c98d4ad1b87c

Size: 13,975,546 bytes
coqide (coqide_8.6-4_armhf.deb)
SHA1: 7fa2db5d8d3539bdab4a852ade5686fcb5d788e3
SHA256: 2fd1114e87529d707be303b240ecb50c7dbda095744982fb6382bc36b6423cbd

Size: 1,598,506 bytes
coq-theories (coq-theories_8.6-4_armhf.deb)
SHA1: 175d8bf3986e1a12f3c191170712d742e30da137
SHA256: 0e1286065ad994f63e49208596661f5f3bcb8b1a477477c7d8e6f4fd973cff5b

Size: 22,844,226 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_armhf.deb)
SHA1: a2dfd3b6c3d289959071cb78e253fad29e8ffae5
SHA256: ccc78cfef6dd441c8b20b561f40556e381eb35b3e92747a9fa9c0e42857c43f5

Size: 3,565,372 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_armhf.deb)
SHA1: 807634e8a7c28af3e79f35d47c08e93982609d2d
SHA256: 14073637c63c81db53ea6c7abbe6b1ff29118f9f778d76a6f0ae8c252fb96186

Size: 14,152,420 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_armhf.deb
SHA1: 9ab7a4283fe70e83c7ab8682e832fa841d26f207
Size: 85,934 bytes
libcoq-ocaml-dbgsym_8.6-4_armhf.deb
SHA1: 3e634d616988d7d4fbf90d104779c6afb6e90b69
Size: 283,804 bytes
coqide-dbgsym_8.6-4_armhf.deb
SHA1: f7a054427afb23aa7f5d60fcdfb934f6a2ef0081
Size: 378,710 bytes
coq-dbgsym_8.6-4_armhf.deb
SHA1: d4b2cc806b1e4fac7a39c34f4df48f2b116663e4
Size: 1,436,324 bytes

Submissions

Submitted
Sat, 29 Jul 2017 03:45:12 +0000
Signed by
0xEB4D5BE69457859B ff2a-armhf-rb.debian.net (Automatically generated key for signing .buildinfo files)

Environment


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