coq_8.5-2_armhf.buildinfo (view)

Source
coq
Version
8.5-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 21 Dec 2016 01:40:27 +0000
Build-Path
/build/coq-8.5

First submitted
Wed, 21 Dec 2016 01:55:17 +0000
SHA1 of .buildinfo
059b4b5faa964ade2896909908f763bc7ee3216e

Binaries

coq (coq_8.5-2_armhf.deb)
SHA1: c13a66acb64ab03aa0811134f38d4050a47f6b50
SHA256: c7956c46057c63b9d3529882166a600effce95e2728bb0f7e70be40b6083e209

Size: 13,543,812 bytes
coqide (coqide_8.5-2_armhf.deb)
SHA1: 9eec5f778bbb5a03522ec1abeafe2fc1ebe3baf6
SHA256: ffe131a649fde7739c5e5af948ed0a5f7aab05b87f3d9817eaddfb2fc2dc995b

Size: 1,341,424 bytes
coq-theories (coq-theories_8.5-2_armhf.deb)
SHA1: 3b9be0fb9d0623243b563a720015b44b203619d6
SHA256: 325926cb9a102398a35c009a502c596edc54deed3761919038b9b9bef2b76515

Size: 24,187,414 bytes
libcoq-ocaml (libcoq-ocaml_8.5-2_armhf.deb)
SHA1: e3b95956c7e158888a2197a4aae83c9573904e0d
SHA256: df87665affb8b2c0d0e5d5760f7d1dd8c71161549340c1f4a175a59f28c42d6a

Size: 3,492,432 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.5-2_armhf.deb)
SHA1: 5196bdcc40ba99d43d1188d0a2ba2bdf31224b4c
SHA256: b46de4992cb69f434fdc1a3fe043b8ae9effdc0596968015426b7d8b5e04a565

Size: 14,277,900 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.5-2_armhf.deb
SHA1: cbda2107f907dc0692e3acdc07b85cb3de2f9fe0
Size: 89,300 bytes
libcoq-ocaml-dbgsym_8.5-2_armhf.deb
SHA1: a566651b288544cc492f085e71cb75563304be9d
Size: 272,502 bytes
coqide-dbgsym_8.5-2_armhf.deb
SHA1: 22e9f2a87f66ade7e3f09d57e7ff9414347076b7
Size: 360,118 bytes
coq-dbgsym_8.5-2_armhf.deb
SHA1: 33fc14826b7e5ccb468ce9971a9b3104fceda338
Size: 1,432,138 bytes

Submissions

gbnhdph9
Submitted
Wed, 21 Dec 2016 01:55:18 +0000
Signed by
0x00C8B57F4FD162BC odu3a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1453978027"