coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 18 Aug 2019 18:33:30 +0000
Build-Path
/build/coq-8.6

First submitted
Mon, 16 Jul 2018 14:09:42 +0000
SHA1 of .buildinfo
91583e021d2ef7e949f69c21c0fc8c117a388052

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: 2c639b9fcd2c58c87ba8c274c7d6e65d67741460
SHA256: dcee55315b9a57cf780b6b56183293010822e91e8ca7a9fcb8a1ae51dae9228b

Size: 18,901,612 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: c1ebbedef5fc4913f8d8c6b531053940c5552bc7
SHA256: 8b900ba0f411e009a5733cfc78c3d9bef35f14f765e33f0058c11c4cdee8e7f7

Size: 1,750,528 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: 38ff803205c16147c3dc89c52ed82b6222038a46
SHA256: 586886e8f21c16d8c84e3fa555b7e15b9571cd3f844664fc7ac4aa5c1bbbc9f9

Size: 22,869,824 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: 57968b6f1ab7f2e6212da0491421c2f87f1b5647
SHA256: 4413025865b92d6450d973e0c4493a4d573cb2fcd78ec91571c57b7eab8c04b6

Size: 3,822,936 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: 64a8c5cc32a394cd8011bff80ed2f0cd90de0528
SHA256: 37d011f911a8e4661e2c7c6b00837dea9737cd43eca4028e55d1a8c578c1199e

Size: 14,082,256 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: 419be659578a56f38f5e07b7f2f35b6c592cc05a
Size: 107,456 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 9d58bd09688c33be376e016c262e538b06fa2c5b
Size: 336,284 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: 7caabd5c983cf69de7b320b36a866b88b530815a
Size: 491,592 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: c099c389f5ac8a21251e9146093c03719d7c43ff
Size: 1,857,672 bytes

Submissions

awdfkoed
Submitted
Mon, 16 Jul 2018 14:09:42 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1506416932"