coq_8.6-2_amd64.buildinfo (view)

Source
coq
Version
8.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 29 Dec 2016 14:49:58 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Thu, 29 Dec 2016 16:07:53 +0000
SHA1 of .buildinfo
4bff083af4927c8e7bd7bfd4715b467c71662d99

Binaries

coq (coq_8.6-2_amd64.deb)
SHA1: 7d60d31dac8418f7e2d0e7d92c018db55b5ee21a
SHA256: 0ef0ecaaef9c882e3c796f85207c3e1a976a367956ff7ce77415a312e01cb3cb

Size: 13,950,682 bytes
coqide (coqide_8.6-2_amd64.deb)
SHA1: 078685d05ada0118ccf3bc83f5c6219218a0a2ba
SHA256: eb3d93f52f3e0c96b49398c8dc06da5f2af2c86f5f8087da54979c1513e831d6

Size: 1,404,508 bytes
coq-theories (coq-theories_8.6-2_amd64.deb)
SHA1: f34770fbccedced1acf89a9b7ce5c8dfe7a24e36
SHA256: 46fa878d3a0e8d8d423d0720d716dca15d454b2e62cae7b3e76b4421049d87bf

Size: 31,455,832 bytes
libcoq-ocaml (libcoq-ocaml_8.6-2_amd64.deb)
SHA1: b99bc523b87f28b0932c27e162661ec3c3c5c873
SHA256: ebd688e5f9b62abacf9dad14a07f452d4a11043ae5ea05b42cf505af444f0723

Size: 3,501,000 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-2_amd64.deb)
SHA1: c302256698c56aa23bd49bb24d2e6c59670f9a4b
SHA256: 3481ceea10aa99a7b41598d8fa4e4337e8b55d29d56cdf7757da8e3bd9431300

Size: 13,284,386 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-2_amd64.deb
SHA1: f09a1de7ea07a91455bf9defe7be86d02ffd18bc
Size: 81,664 bytes
libcoq-ocaml-dbgsym_8.6-2_amd64.deb
SHA1: 21bd4c9b127a3cbf6d9992dc1c900419bd5edb5e
Size: 268,144 bytes
coqide-dbgsym_8.6-2_amd64.deb
SHA1: 6894089b811def0b6e2e4219b4bc223824148a4e
Size: 364,752 bytes
coq-theories-dbgsym_8.6-2_amd64.deb
SHA1: 4293041bef97ba7341f2a01dba45895a7c29c11b
Size: 878,012 bytes
coq-dbgsym_8.6-2_amd64.deb
SHA1: dba53ad5ea861005df4d3fd36c77325276bdf829
Size: 1,379,824 bytes

Submissions

ncgds3if
Submitted
Thu, 29 Dec 2016 16:07:54 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1482945569"