coq_8.6-4_amd64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 22 Jun 2017 02:58:02 +0000
Build-Path
/build/1st/coq-8.6

First submitted
Thu, 22 Jun 2017 05:57:03 +0000
SHA1 of .buildinfo
18b2304c0083be7be075ff8a6ad27f876c3daa5b

Binaries

coq (coq_8.6-4_amd64.deb)
SHA1: 9753b50cc9e23c3f2b37a9edde3842053afcb17f
SHA256: 827168971d65e167d6e3a172667943eae9def544d4d018208a9e2b5151f78408

Size: 13,954,868 bytes
coqide (coqide_8.6-4_amd64.deb)
SHA1: 40f985a6de7bc90d2eb247ec4ce327aa5b5f10f2
SHA256: 04bcf26527408707e7074d1221cd8139d7e74e63ac29a98586bd3c08b2bff1e4

Size: 1,405,868 bytes
coq-theories (coq-theories_8.6-4_amd64.deb)
SHA1: 2c462c1e8d5666690531279c8f3d3510f2787c52
SHA256: 9e390c2c93bf493960f453d5088b276eeaef85ffce62fef814ad63e69c3af1c3

Size: 31,445,386 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_amd64.deb)
SHA1: 19bc5e4fac50bbceb18e59ed876df72de6606548
SHA256: 69212d3a9f47933dd816c92784c89d8467f06a50094d111d39d0103adcdedcfb

Size: 3,502,132 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_amd64.deb)
SHA1: 31c4499fc83e9134636f417b26aa22118ce73ef1
SHA256: 246ecfa81241f19e5d82b4211b1d13e241094d21420988881ef647600462e935

Size: 13,288,118 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: ada89a1042869c8bfa3d31aed66156ec6def06a0
Size: 81,744 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: c01576ca5ca61de377a9fed95c92ee77fccaea6e
Size: 266,122 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: 0cab4dfcdcbad0b031fa4e8acfc3cff0da6ac937
Size: 368,988 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: 4bd3db14894da05e7e8acd75bd16d18aae36d696
Size: 875,734 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: eabf6cf5d7451b69fb4bfa4f1b25bd4fe54c1275
Size: 1,376,454 bytes

Submissions

qbckkezo
Submitted
Thu, 22 Jun 2017 05:57:04 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="coq_8.6-4=/build/1st/coq-8.6"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1483051547"