coq_8.6-4_amd64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 20 Jun 2017 05:11:19 +0000
Build-Path
/build/coq-8.6

First submitted
Tue, 20 Jun 2017 06:41:29 +0000
SHA1 of .buildinfo
19587b3b4c19130d9f2aea2e36b787fcedd1da23

Binaries

coq (coq_8.6-4_amd64.deb)
SHA1: 8882bdd2bbb53add4303af9128a266ec4135f762
SHA256: 880dc7c345895d252491b0950cd91afee61bf2ec8cf5b446202154502c5e7af6

Size: 13,952,206 bytes
coqide (coqide_8.6-4_amd64.deb)
SHA1: ddee35f2bc0bfb6c013fd9d867614fa4cbcd3fdf
SHA256: 5b9063b13dcf5b96a638a00c407d454ebb4ec11af038959a8a15349938ab6cbb

Size: 1,406,890 bytes
coq-theories (coq-theories_8.6-4_amd64.deb)
SHA1: 986020bd20c990bce528348b51ae0ef046be2dfb
SHA256: 2b929a1a8dcdf63d2dfa92cfade82ea02d8d64d8ab5c4ac48cad72a752fc4349

Size: 31,458,416 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_amd64.deb)
SHA1: b1801f7933ecd789d8f87e9e724148d5dfe21cf2
SHA256: 5105c93ff3d6d1145ef318e158a552f85617616638e93c73b7eaabbab4aadf82

Size: 3,500,362 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_amd64.deb)
SHA1: b19b6848721f1df824c19b0526e94d82fa2e2ff8
SHA256: 881dae3137b4dd8c347975f8b3bebabd2ea42b0e57fe24b797c54f750596ea9b

Size: 13,286,576 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: 8b747b59538278ed4f5efca87c4a98b75f3d35d3
Size: 81,668 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: 07838b21b114f69ea3f6c597ca2f74a93518829f
Size: 265,262 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: bf51cd396af0b2c74d8b02b251c869d163320f47
Size: 365,850 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: f7cb7a0ba2987a10096e7c9cbaa7a4cb75a3ade9
Size: 874,568 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: d6a92b4cb60515bc1b4de7aad605c52c3a502e0d
Size: 1,378,730 bytes

Submissions

bj7j3nra
Submitted
Tue, 20 Jun 2017 06:41:30 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1483051547"