coq_8.6-3_arm64.buildinfo (view)

Source
coq
Version
8.6-3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 29 Dec 2016 19:07:56 +0000
Build-Path
/build/1st/coq-8.6

First submitted
Thu, 29 Dec 2016 20:18:39 +0000
SHA1 of .buildinfo
d8b290b4fa31eadec41334541631d340fe05bd60

Binaries

coq (coq_8.6-3_arm64.deb)
SHA1: 540111dabe334be7acb8bf0da5282dd8836a6e7e
SHA256: b3f9b6355c1ae49b6acdf4aae9a8c732c4013caae17e997724c0b282a31b4b6f

Size: 13,820,870 bytes
coqide (coqide_8.6-3_arm64.deb)
SHA1: d2a4b629bb868a937203e14abe8edb96db65b6c3
SHA256: 617f2877329877cf7ed02652679db90bd2ba7261121ee2f14dc28639d51c1d56

Size: 1,423,784 bytes
coq-theories (coq-theories_8.6-3_arm64.deb)
SHA1: 5929d9dcfc40372a81b7651b14d0f16400ac4fdc
SHA256: fdf0835ce01f9f6a58aa2f79878200a4a06fccf7c649b2587016ffc2b1cd4409

Size: 22,853,634 bytes
libcoq-ocaml (libcoq-ocaml_8.6-3_arm64.deb)
SHA1: 1d616ab7958120df8533dd9ff4679abb56cd01ec
SHA256: 4345653b780eb262db3fc13b9897d63d41fc6aa2530acfe7bda06cff74ec45aa

Size: 3,477,386 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-3_arm64.deb)
SHA1: 8cfa652da7e31dbcdc4ef15c9a0e66b454efc58e
SHA256: 9ac19121308c9492410c007e0647d4c8bf5a271a81ae8cfec832065396c7df48

Size: 13,522,726 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-3_arm64.deb
SHA1: d3da7530eb487615cb9ae3901dcb622be58f6d52
Size: 79,560 bytes
libcoq-ocaml-dbgsym_8.6-3_arm64.deb
SHA1: 0812cc632d4042752a9e482ee2607eaef19ee086
Size: 254,312 bytes
coqide-dbgsym_8.6-3_arm64.deb
SHA1: b4f1a1c52b2e137bc9456c069d30ab1698eb0568
Size: 360,816 bytes
coq-dbgsym_8.6-3_arm64.deb
SHA1: 101ed0f7ed057b270c88e301b27c0b6f12099639
Size: 1,314,658 bytes

Submissions

ce9rv3ar
Submitted
Thu, 29 Dec 2016 20:18:40 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1482998315"