coq_8.9.1-2_arm64.buildinfo (view)

Source
coq
Version
8.9.1-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 30 Jan 2020 00:13:18 +0000
Build-Path
/build/coq-8.9.1

First submitted
Thu, 30 Jan 2020 00:52:45 +0000
SHA1 of .buildinfo
28bd581ab986246da9aea5ea1224d49e999bdd12

Binaries

coq (coq_8.9.1-2_arm64.deb)
SHA1: e0c37e99862ee707f6038915c4ceb75fe701178f
SHA256: 66d32cd98f12fb094e496856791f548b4e22d10a5f3faa96a2dc4eca859ba5cf

Size: 67,100,176 bytes
coq-theories (coq-theories_8.9.1-2_arm64.deb)
SHA1: 123ba2c804a9a844a9bd636976d090ff744ac185
SHA256: e71289f474ad60a84c270f68d740956d873ebc9f4e90cb358566127eefc1d3ee

Size: 20,376,208 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2_arm64.deb)
SHA1: e7d90dcfea229fe2547c87cb217ff0f68e32836a
SHA256: 16ac2d679a204288db18e8af9c1608ff6c6cf1b8ae3db978e3fee77be717cc42

Size: 6,049,016 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2_arm64.deb)
SHA1: 517f81c95e70ce4cc80314bd7bbf5808798a4ae8
SHA256: 113b2de8f657c54422babc93b6184fa12a15650ea5a350f07f9c1bfbda6ab288

Size: 14,411,976 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2_arm64.deb
SHA1: fe1bad3bd8495b1cc214d79e90c2ea80c1221fa3
Size: 528,632 bytes
coq-dbgsym_8.9.1-2_arm64.deb
SHA1: 22dd3a03223a505a1d8b48b356ea46e32a23af7c
Size: 3,538,472 bytes

Submissions

xxbgbmcv
Submitted
Thu, 30 Jan 2020 00:52:45 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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