coq_8.6-4_amd64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 14 Jan 2017 06:32:44 +0000
Build-Path
/build/coq-8.6

First submitted
Sat, 14 Jan 2017 06:53:05 +0000
SHA1 of .buildinfo
ab7be3122a404b891ffb4be1dc32abb3c45cc74d

Binaries

coq (coq_8.6-4_amd64.deb)
SHA1: c685d19a2fe172c52252e5bed7e29dbb2c242954
SHA256: 7f88396c58fe01b250a7d3dbc1f5fdf1e733e58d86ca558ffdd0567fefbdc059

Size: 13,950,536 bytes
coqide (coqide_8.6-4_amd64.deb)
SHA1: 48162c9a33c5b675faea33a3ef32ee73a1bef92f
SHA256: 29b2ade2c4875e92698abf8a57c2944cb2886a82e4c15602bba3c90aa545a399

Size: 1,405,296 bytes
coq-theories (coq-theories_8.6-4_amd64.deb)
SHA1: bc78b598be952a809840487c1069f932c3bfb92b
SHA256: ca39c75980929dd045c6dd03880925a273eba3581e7e9d5199719e1477ed3f8d

Size: 31,443,484 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_amd64.deb)
SHA1: bdf2d886354f60b482f2e1b37c839e64d9641013
SHA256: 8f263d5a3f1dd6feab6aa47e16a9fba3ca6d6671f0d3d220f30c3b1c5e50c83b

Size: 3,502,114 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_amd64.deb)
SHA1: 6fa10dfceedafc02a9c5709b077b7823385280a1
SHA256: 51bd601182bc419f2f71683c9f2f41916cf328caf078b8182083eaf3ff138357

Size: 13,289,234 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: 28f8ffe9f5bc3e047823563f192dc25a9e49cde5
Size: 81,612 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: f694e76846a355efc22b1d0a4bfdc93db17988d9
Size: 266,790 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: 74a8bf0bc9327a0a1ad4f9bc3c379abef069b9ab
Size: 364,554 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: 87848247386fa2c839a2d817e7052022aefa5fab
Size: 873,082 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: 63add465efc9e2ac411443e998ef1b7ded369146
Size: 1,375,224 bytes

Submissions

7yianqiu
Submitted
Sat, 14 Jan 2017 06:53:06 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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