coq_8.6-4_amd64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 9 May 2017 07:44:41 +0000
Build-Path
/build/coq-8.6

First submitted
Tue, 9 May 2017 09:33:20 +0000
SHA1 of .buildinfo
425f6fd7bed20c6ad0a47bd7bf65f68d1247d63c

Binaries

coq (coq_8.6-4_amd64.deb)
SHA1: c6e0a18eb6e53e5b12c05d069d90905dd6781060
SHA256: 3bedcd2a3919045b0373051cfdbdf8aa3b4fc6cc5c3c503e4147c9203239abff

Size: 13,946,982 bytes
coqide (coqide_8.6-4_amd64.deb)
SHA1: 7c2675a1688350bf8a3eb3f4abdd13151ce0b31a
SHA256: 155de0d1af599a1b2c06e4850c15aaf123ae25e276de5104acaf2001972a9684

Size: 1,404,502 bytes
coq-theories (coq-theories_8.6-4_amd64.deb)
SHA1: a9838c5ee1854ba6ee0356f922489071f8114389
SHA256: 6305b8db8a46895b8d9882dd5af093f2e490b5ea4bb741b823b735de318f6d23

Size: 31,449,426 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_amd64.deb)
SHA1: fb10675d7cd4f166dbc0299fe75b9f16510d4959
SHA256: 8c23492a92edbace013303c67fa6fc3a4310a96ad06ab9570423220a7a8a4de6

Size: 3,501,956 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_amd64.deb)
SHA1: 1c8fb498e2956f7b88c57935dc25745a05421060
SHA256: b478d1c9849b8c7b01199a484c7b5cc0d6f81fa439f06b04d0de7cb11e76e457

Size: 13,288,148 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: d75266c6aa4d06cde51dc16aece6a6f4d9d0a288
Size: 81,738 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: 0f1d358ddb34821238695447a0bea3d331640095
Size: 267,610 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: 7b67fc3189bd5a9aafb5da12f500f4db12d4f8df
Size: 365,056 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: 5a61b39fb2d7c379d8d342feb99c0eabeb537672
Size: 877,180 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: 444a84f22d35140b4f79da3e26d072b9d5e6dca3
Size: 1,374,646 bytes

Submissions

pfcbtkay
Submitted
Tue, 9 May 2017 09:33:20 +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"