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 08:23:50 +0000
Build-Path
/build/1st/coq-8.6

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

Binaries

coq (coq_8.6-4_armhf.deb)
SHA1: cbfb76e8140599796140734c3276cc8e374ca473
SHA256: 25e04046ef5abb6ededd607dc292fb746e43749dc556c6663e6751d3834a7598

Size: 13,917,644 bytes
coqide (coqide_8.6-4_armhf.deb)
SHA1: 3d2f0a300d30e59e6ee486049821db6472f19ba7
SHA256: 6a64a2070446cd6eaf704e9c6e547e82a95800043b363b91076b41ff22cd15ca

Size: 1,471,356 bytes
coq-theories (coq-theories_8.6-4_armhf.deb)
SHA1: 665b8187c5f60353000d0311bf986ea080047361
SHA256: 5ff09cac55bbc0048567b089fc47f4719fb0fe701ffa182eb3b2f3ac02345f94

Size: 22,844,188 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_armhf.deb)
SHA1: 4cff5c59018bd4624cdd53dac162d9ae34be0f5c
SHA256: ac62f980aaa21485bcda9218ca0d348ab882e018ac8a921a4a326441d11c8cad

Size: 3,564,784 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_armhf.deb)
SHA1: 01d39e765711997d1fcbee83aa7d95deaa82f874
SHA256: 3f637facb8b0453dd90a49b95b93eb7d36fe4d0ba5cddfd741c3fe81bbee9b4c

Size: 14,149,138 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_armhf.deb
SHA1: f94d85c54e8598947b0ac67cd24965e57edacdb2
Size: 86,192 bytes
libcoq-ocaml-dbgsym_8.6-4_armhf.deb
SHA1: 2067da94054104b23c30001136612e950ad2bcff
Size: 283,722 bytes
coqide-dbgsym_8.6-4_armhf.deb
SHA1: 12cf569c7e7c116bf385679c11eedfc4420eb091
Size: 375,386 bytes
coq-dbgsym_8.6-4_armhf.deb
SHA1: 375f99815b76c8b765641ab1ea9b5935c053dfff
Size: 1,444,400 bytes

Submissions

mrspisff
Submitted
Fri, 30 Dec 2016 15:26:09 +0000
Signed by
0xF7F2097D55C669EF bbx15 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=2"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1483051547"