coq_8.6-4_armhf.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 30 Dec 2016 14:58:54 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Fri, 30 Dec 2016 15:26:09 +0000
SHA1 of .buildinfo
d7adf644be4168edbd6ad2cf995283f713d5afc3

Binaries

coq (coq_8.6-4_armhf.deb)
SHA1: c1213f36f50b1f1c931fab40495f95058f2a47cd
SHA256: ee4d90642f5fc7b3226aa28d5d8aaa4aa362938a2ca8bc76cc6302ea20caf464

Size: 13,914,684 bytes
coqide (coqide_8.6-4_armhf.deb)
SHA1: 49cf228ef3a110c3d562838a67d77d9bd757cb0c
SHA256: 25fd64edc708b9427461d51720d3af689e60feed00c0043906e7d44c1db4c5de

Size: 1,472,982 bytes
coq-theories (coq-theories_8.6-4_armhf.deb)
SHA1: dc0968a4b5bd20e8a7bf36331eddba5efa5f38ac
SHA256: eaefc0c31df174ec8f17655f3aa8b61014eed71374292cd65d280e67b5285011

Size: 22,841,332 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_armhf.deb)
SHA1: 2d6c168487727d0ee50b2b45f568be63a5d49af2
SHA256: bdcbd043037383f7157991d1c5ea193040aacd97c22fe483f908f9cfcff53158

Size: 3,562,562 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_armhf.deb)
SHA1: 7510957d188489f346e6d976e357b0a3ec0dffe6
SHA256: 552b749f581a9fa3938aca5360a8bd23755cce4241e0f94e521b7eea6e37f5a9

Size: 14,148,218 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_armhf.deb
SHA1: 6fa59b5942fecce38ec3772ec4e6e98a865d1cbb
Size: 85,918 bytes
libcoq-ocaml-dbgsym_8.6-4_armhf.deb
SHA1: b83b8734e6c67870fb0db8c20b33e9dc46f67d10
Size: 282,912 bytes
coqide-dbgsym_8.6-4_armhf.deb
SHA1: dc9d4fe22a5b7e4aa529d12da8af90b53620931a
Size: 376,420 bytes
coq-dbgsym_8.6-4_armhf.deb
SHA1: 87a152a4154bce920bf954fb48cbf880e9b10247
Size: 1,437,814 bytes

Submissions

uvyuorhc
Submitted
Fri, 30 Dec 2016 15:26:10 +0000
Signed by
0x101CF655F3A0F753 ff4a (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="1483051547"