coq_8.6-1_amd64.buildinfo (view)

Source
coq
Version
8.6-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 31 Jan 2018 02:39:57 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Wed, 28 Dec 2016 21:32:10 +0000
SHA1 of .buildinfo
778c0461a65e041eb045a35f1c5a823ca3643675

Binaries

coq (coq_8.6-1_amd64.deb)
SHA1: 496d736d7315f91a29be3c9f8c7ee3b178ffddd1
SHA256: 0e2570c2277865dd713735c7e0f6985f47b86abfe342a5c5a939decc9da9e567

Size: 13,953,680 bytes
coqide (coqide_8.6-1_amd64.deb)
SHA1: 50d05530e69152fdbd03d949dac0b2624d4a4e32
SHA256: d68e9fd7c1ac6e6e98ff04b5e9c1f7837ad82a57168a321306cbde63f5dc7c07

Size: 1,404,826 bytes
coq-theories (coq-theories_8.6-1_amd64.deb)
SHA1: 112a80ed46ee96f57164850a5460635344597583
SHA256: fea71220a329ca06dafc86d6316b83c6d9dfacaa7af0dbd24363568579429dc8

Size: 31,444,840 bytes
libcoq-ocaml (libcoq-ocaml_8.6-1_amd64.deb)
SHA1: 9d1a2f23ecf0cb2b2f90a4209164af97ec1a0041
SHA256: 2383eece3311de747e266e2998b4082804ffd760da3509dbdcbb47126dca8b70

Size: 3,500,522 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-1_amd64.deb)
SHA1: 5ebc6221d00713d6f3b276f6378960808b94eb74
SHA256: 4261fe8306f199ce8795b770d6e2eab83757646b02dfa016c9bd0852d7fdec79

Size: 13,285,190 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-1_amd64.deb
SHA1: 85e73073ecb84d82207338a99ba3e5db1ca92ca8
Size: 81,690 bytes
libcoq-ocaml-dbgsym_8.6-1_amd64.deb
SHA1: f142f0ccf180be5866d3039569b76b4dc98fcaaa
Size: 265,418 bytes
coqide-dbgsym_8.6-1_amd64.deb
SHA1: 2518aadd12403f58ab58fce1a490885da66709c4
Size: 366,608 bytes
coq-theories-dbgsym_8.6-1_amd64.deb
SHA1: 40916afd4483d0e4c98c7820ac9a014065c7a66b
Size: 875,186 bytes
coq-dbgsym_8.6-1_amd64.deb
SHA1: 516c8d2273aa346870a887e575649e29b45afec0
Size: 1,377,108 bytes

Submissions

vujg93pb
Submitted
Wed, 28 Dec 2016 21:32:10 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1482854019"