coq_8.6-5_amd64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 10 Oct 2017 04:52:22 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Tue, 10 Oct 2017 06:53:19 +0000
SHA1 of .buildinfo
372308a9798b532d925c2e2eaec247aa60f17d5c

Binaries

coq (coq_8.6-5_amd64.deb)
SHA1: 0856231b7e99c4d190e6c6cb0d109a9a65459560
SHA256: 0e5c03eb720e637966ea0e96f9d148d31c5f815b95410af66b5e55c2653b8e50

Size: 17,746,998 bytes
coqide (coqide_8.6-5_amd64.deb)
SHA1: 80f7eb51aeea043cac4da2c292e3405f85b68b09
SHA256: ebd743135209a7af45315a2478c71463f6be4188f9a19071b5d384ac8604bd99

Size: 1,607,218 bytes
coq-theories (coq-theories_8.6-5_amd64.deb)
SHA1: eb0c4214bdaa6104a0ba0603fdc3377d9632b32d
SHA256: b37ca6f89281565201b520e94eeef7ced5b5cce9f6205540ae5a5ba246640cd3

Size: 33,409,788 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_amd64.deb)
SHA1: 9cdeeaa4152c25119ac20115ba18417be608fc1c
SHA256: b62aff26a98421ca95fca85e078f6825ce7c75f7cb1a64c97eaee8e7273fafe2

Size: 3,643,374 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_amd64.deb)
SHA1: 804b10fedf95893de8e048b4465d7e53aa6aef73
SHA256: 185d738a85e5a5c6d368fc059b268b874cd26a42724f910a5a82a81365346ae3

Size: 13,880,056 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_amd64.deb
SHA1: f9dd77bbe9ebd52813d8a87d26e77567421a446a
Size: 113,656 bytes
libcoq-ocaml-dbgsym_8.6-5_amd64.deb
SHA1: 705fd18ade3ff4ee448665cb062a1f6c1563afdb
Size: 370,076 bytes
coqide-dbgsym_8.6-5_amd64.deb
SHA1: a38ab95947895ae778ef297fb6be048859936038
Size: 458,214 bytes
coq-theories-dbgsym_8.6-5_amd64.deb
SHA1: 97b6812323937adb07d9cc433c73def38b093902
Size: 861,190 bytes
coq-dbgsym_8.6-5_amd64.deb
SHA1: 451fca0300a2b829c618a5bcc96196014fa0ab25
Size: 1,938,592 bytes

Submissions

jsywsbqe
Submitted
Tue, 10 Oct 2017 06:53:20 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="coq_8.6-5=/build/coq-8.6/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1506416932"