coq_8.6-5_ppc64el.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Tue, 26 Sep 2017 11:03:42 +0000
Build-Path
/build/coq-ibo4lH/coq-8.6

First submitted
Sat, 27 Oct 2018 12:45:30 +0000
SHA1 of .buildinfo
ba2cb92b393d9b75cd83a43b79ef3fcb09ab2552

Binaries

coq (coq_8.6-5_ppc64el.deb)
SHA1: 362928bbe405bc62fb501a374c07160fbc7073ad
SHA256: cb549ed97b8571168883fb614596c10ce7374257251c99be284b785c2ff7b993

Size: 18,219,338 bytes
coqide (coqide_8.6-5_ppc64el.deb)
SHA1: c62c8c48861d016e4317486b74c75d177b720c79
SHA256: 7a2859a0a25a1e9d21b6d3eecc815e5a93319f2bb9e34c9686cafbc12a4e5139

Size: 1,721,790 bytes
coq-theories (coq-theories_8.6-5_ppc64el.deb)
SHA1: f909ad2832fb9b1052e303582c6e030f91b7a27a
SHA256: 481a30a074ebd5df9c1b1ec3a78ebb71da956c9f2ae241e6c9c1f98c358a53c5

Size: 22,876,624 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_ppc64el.deb)
SHA1: 43225a3ce7b2fea551c1c93242700bc3b25b0131
SHA256: 9139a5b003375c13807881cb929ee19d23b9aa6dbb732ede1c4f01958c8a14d1

Size: 3,715,762 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_ppc64el.deb)
SHA1: f4124682ce2557b0debb2987f0f96b8a8040bda0
SHA256: c11ec83a37518cc3f1a4c19a918b2e8bbc11be1e10cb41be323abec3ebea708d

Size: 14,152,134 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_ppc64el.deb
SHA1: 95311001ddf25254df3c098eeb815ab8a68d7061
Size: 94,708 bytes
libcoq-ocaml-dbgsym_8.6-5_ppc64el.deb
SHA1: 68603556d737c32ed2b45a840923dd3150c3cce1
Size: 312,280 bytes
coqide-dbgsym_8.6-5_ppc64el.deb
SHA1: 9cac17e7a8dc7b50a3a59030c8177e4e31b8db21
Size: 421,434 bytes
coq-dbgsym_8.6-5_ppc64el.deb
SHA1: a268601886c1fea77f26790f6bd12240b425a709
Size: 1,568,104 bytes

Submissions

md4fw4qk
Submitted
Sat, 27 Oct 2018 12:45:30 +0000
Signed by
0xE11E66A5C07A2DC2

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1506416932"