coq (8.6-4)_8.6-4+b1_ppc64el.buildinfo (view)

Source
coq (8.6-4)
Version
8.6-4+b1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Thu, 20 Jul 2017 15:44:41 +0000
Build-Path
/build/coq-bAbpJK/coq-8.6

First submitted
Sun, 28 Oct 2018 00:45:55 +0000
SHA1 of .buildinfo
1bd87f299d25111717d815fea5b6ab745d0f06f5

Binaries

coq (coq_8.6-4+b1_ppc64el.deb)
SHA1: ca7aac72068642ea81a7527cbfe5ec44f6611660
SHA256: acde4bc635afaccb1eae8501280fcc465aad9e43d7ade91cd4e3cb802b5a6e9e

Size: 19,113,116 bytes
coqide (coqide_8.6-4+b1_ppc64el.deb)
SHA1: 104f78fc425be8ccafc554ed31deac0d480dc46b
SHA256: ba8fdc1cb31212b3b073f7821a7e633fba25efd8fe5cc62717ffbbfaee0ebd0a

Size: 1,891,786 bytes
coq-theories (coq-theories_8.6-4+b1_ppc64el.deb)
SHA1: bb10d5e8403ebce355ab4c59c58f12b452a53fde
SHA256: aceb1d3633700ed81369949b926d3de78dcf5b77ddb4111e39656ffccad3efef

Size: 22,854,480 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4+b1_ppc64el.deb)
SHA1: c0c6d5d7dbd19237fbb2c601a4afe0f2a450ee82
SHA256: 51d10195227e2c396ca3a459af63060584d3d43527edb773fd6aeecfe97182c8

Size: 2,374,498 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4+b1_ppc64el.deb)
SHA1: 4a3d19c3b25ee5b6c0e93ad5b95e1f291aebbd2e
SHA256: 024c644dfd2c6be07bc55c070ce07b4f547fce6568f140d9056db55bdc75133a

Size: 10,053,104 bytes

Other checksums

libcoq-ocaml-dbgsym_8.6-4+b1_ppc64el.deb
SHA1: addc31e1fef10ba8fef3c8d378885e2fac8adc49
Size: 21,226 bytes

Submissions

cjxemskg
Submitted
Sun, 28 Oct 2018 00:45:55 +0000
Signed by
0x99CCF26EB5F752D2

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1500556478"