coq_8.6-5_armhf.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 4 Dec 2018 11:38:58 +0000
Build-Path
/build/coq-8.6

First submitted
Tue, 4 Dec 2018 12:06:21 +0000
SHA1 of .buildinfo
7f816a5b46ea2be7ccc22ad0ef0fdaea867af5c2

Binaries

coq (coq_8.6-5_armhf.deb)
SHA1: efa31e94ba9c4efee73f3dd06b4f49d09b69dc52
SHA256: 5f32003d1a6516bf4b88d25f65427cb27a05a362acce17fb5c76ce66174b37c4

Size: 17,032,532 bytes
coqide (coqide_8.6-5_armhf.deb)
SHA1: ea8c322b3e2753b6febb36709f894d8ff79301c2
SHA256: bd3fc7d2d3df7fbc538429991aa3268f255491fdaa8ddaec8cccc0e7bfc7527e

Size: 1,500,180 bytes
coq-theories (coq-theories_8.6-5_armhf.deb)
SHA1: de44d797f9970c31f1b4c1ed6c5dfb57d05f1a2a
SHA256: d4b9d71fdd4798cb8ea33c9b09be4d9b1f44ebfc65ab9b2b5a21fe674687fd82

Size: 22,887,816 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_armhf.deb)
SHA1: faca799aa274a4fcdf140e732890c5a45e250a8f
SHA256: 5d89f581c3813e5bf8110da3b73be7b822a21cb79beac5c6bf90865dbf966e3f

Size: 3,573,848 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_armhf.deb)
SHA1: 2a8c78eb4fc4ec15e1b15e1c6eada3ef1472da30
SHA256: 76b5ead710774e189251e564aedd4d00b02e029170a67401e29bea38093e22b2

Size: 14,370,312 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_armhf.deb
SHA1: d81b376139081dae914af811263ba86408239dec
Size: 104,876 bytes
libcoq-ocaml-dbgsym_8.6-5_armhf.deb
SHA1: 9129303005ea5150088b363b0f5f007d87144a06
Size: 333,532 bytes
coqide-dbgsym_8.6-5_armhf.deb
SHA1: 2f27744d723c490a3044b2e977a4da9c00140488
Size: 442,988 bytes
coq-dbgsym_8.6-5_armhf.deb
SHA1: 7fa0de278547258a3446bf2e8b7e35ed32d75a82
Size: 1,705,604 bytes

Submissions

dzed4mwr
Submitted
Tue, 4 Dec 2018 12:06:22 +0000
Signed by
0x3B7B0B0B40A455E9 opi2a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1506416932"