coq_8.6-5_armhf.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 13 Apr 2018 01:13:10 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Fri, 13 Apr 2018 02:07:33 +0000
SHA1 of .buildinfo
49adcaca9e4fab15b1b08281eaa666d592f2fe16

Binaries

coq (coq_8.6-5_armhf.deb)
SHA1: 38fe2d0b800ed83633a6a6574364811740fe113a
SHA256: b3b592f8b8c259a658a5a411be0698df4a0f47368c47833cd967dcff5ceeac72

Size: 17,035,476 bytes
coqide (coqide_8.6-5_armhf.deb)
SHA1: 636c00bc3098b9afe783b1fe0b654bc532a2aace
SHA256: 70d241f8d0fd1d22db7a55b7ec9dd6707429ae5a5a0112052f4d5d872e3eb820

Size: 1,500,644 bytes
coq-theories (coq-theories_8.6-5_armhf.deb)
SHA1: 29128ad131bc1340b7b806264af5b717c611f2ed
SHA256: 475e0e3e4a5fa7f2d73b78d5a2eadce3e43de69882ecaea577591066d3a519a7

Size: 22,888,020 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_armhf.deb)
SHA1: cca20207b10a305634e211022bc6cd1ce6804ef4
SHA256: 33448aca7a195d73a71a8053bdb6c5cfd989f688f5e7d71dfeca22e0d501d27e

Size: 3,574,224 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_armhf.deb)
SHA1: b24dfceb84fb92cbb254dda75e0d22ea79ba2b70
SHA256: 7dfb340554339a40a6ee9cf766a1cc4ca8582e47da37c6ddbe56a68fd7fa6669

Size: 14,381,352 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_armhf.deb
SHA1: 7193ede5be237a22ed5cc8cf53b3365ef3960dea
Size: 104,436 bytes
libcoq-ocaml-dbgsym_8.6-5_armhf.deb
SHA1: 1364acadc6b212fb2c5951c164ecc8a83aae29b7
Size: 328,444 bytes
coqide-dbgsym_8.6-5_armhf.deb
SHA1: 2a61277049f1ff99bcf29507a69229a0e7fcff3e
Size: 442,656 bytes
coq-dbgsym_8.6-5_armhf.deb
SHA1: d313ab68075c46da4391c815700e6003cdfa62ff
Size: 1,703,148 bytes

Submissions

zvjhcfzy
Submitted
Fri, 13 Apr 2018 02:07:33 +0000
Signed by
0x8D1C4325E9E3C0CC opi2c (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=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1506416932"