coq_8.6-5_amd64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 27 Sep 2017 12:30:56 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Wed, 27 Sep 2017 14:31:17 +0000
SHA1 of .buildinfo
7084d9c6662ec9429328c922fb4d75a283f93428

Binaries

coq (coq_8.6-5_amd64.deb)
SHA1: 2b7fe9ea10b287f41e57a2a5d2ede8c5f5553fda
SHA256: f821ba22350190a743a129afd8ab69e49c95dc499923c9258a7fda101ce748b3

Size: 17,736,078 bytes
coqide (coqide_8.6-5_amd64.deb)
SHA1: 64ff1667da49465855415288ad7d91ba1a699300
SHA256: 5947b9d2f8eef79544fa3a4b2d8f8702aade37e9c309c3a0297c681f00b6fd93

Size: 1,609,158 bytes
coq-theories (coq-theories_8.6-5_amd64.deb)
SHA1: 87ef88bbf0793a5c7830d831b51ce50e1c45f2f5
SHA256: 545aa0d32ae460d4c12cdc5bfafa3de8b00d8946e7df9c741ae9a67d782c8cec

Size: 33,413,214 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_amd64.deb)
SHA1: 7e85124e6c7e58e74454e7f36e13532870069faf
SHA256: 5d37d030fb0738a32f545a77b02b987e87725f1a8fd863cc8ffe6688bd7a9f27

Size: 3,645,038 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_amd64.deb)
SHA1: 679c3cb09799db202dd55d24ab8d9905c793503b
SHA256: c91bb0687cb1811dcef7d73e5e95ff79572cbf77657aca118c48be45eee717cd

Size: 13,880,616 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_amd64.deb
SHA1: c2eb672ed495d9cd09503a6d8f442c48bec82e54
Size: 113,494 bytes
libcoq-ocaml-dbgsym_8.6-5_amd64.deb
SHA1: 097a1c6eb806a83393bb312264d7ae483a39d44e
Size: 370,606 bytes
coqide-dbgsym_8.6-5_amd64.deb
SHA1: b70502cbb64c9e3a5f6af8f3d96162950243ba8a
Size: 457,970 bytes
coq-theories-dbgsym_8.6-5_amd64.deb
SHA1: 56ddc83b1cc94a74a7dba7779c27bfdd30047c08
Size: 861,410 bytes
coq-dbgsym_8.6-5_amd64.deb
SHA1: 6c89caf5ba8dafb84e600da826fcf86f0fd20baf
Size: 1,939,136 bytes

Submissions

ig3uwzso
Submitted
Wed, 27 Sep 2017 14:31:18 +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"