coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 1 Jul 2018 05:10:38 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Sun, 1 Jul 2018 05:47:29 +0000
SHA1 of .buildinfo
2cf367ff9bfd475d2ec1cba6cfa35aa9b071ece5

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: 352a1279904cef1b7afc56bfa54ee692833ed104
SHA256: 03617af6ce648cbb23b46fe39c433e939ae70cd851ecb47f2bc8fbcd50253b7d

Size: 18,888,056 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: bf1269f29e1621303fb7e43312b952ff10f03bcb
SHA256: c308d0137aae6b9bae958114448e91ad1e28898dfb3aaa2298b7966321ed5f58

Size: 1,749,864 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: 8e0f5d136e3c3c8cfebcdadb21ed57c9beb8a090
SHA256: 0f0aace96930c3585e469a7875c58361c9bff3b5da99e42645ee769398ef0f23

Size: 22,870,316 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: 7f47cc95c2459168fd1b118f26014da8f307bd18
SHA256: 1c96d87dd33177d2a031e3e19ab276e5b57ee8692a3addad5b1b22f8c536ab0b

Size: 3,823,224 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: b15628a557e6ce16e83deda71d6ca80e78bfeec5
SHA256: 5adf3df903eec84ab5ffd0e972ca224aeab267b9c8927eac5cdf85b6507f6d9a

Size: 14,086,452 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: 971b9cb945b0c7c93905041352438ce85d7f76dc
Size: 107,792 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 3956a6507d1306db57782ad3f51c4bfdc980db46
Size: 335,692 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: 9e1852a3a81faa3c62d8023109d0cbdcca288280
Size: 491,508 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: 3f8b492b0cbac7de2f381fc39b1fca017cc728f4
Size: 1,857,676 bytes

Submissions

rtakgkto
Submitted
Sun, 1 Jul 2018 05:47:30 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-arm64 (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=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1506416932"