coq_8.9.0-1_arm64.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 11 Jun 2020 09:52:34 +0000
Build-Path
/build/coq-8.9.0

First submitted
Fri, 10 May 2019 05:31:37 +0000
SHA1 of .buildinfo
d4f51cd8861ea990cc4385addc46617bd8af01d4

Binaries

coq (coq_8.9.0-1_arm64.deb)
SHA1: e4cfbd7c462b9388a43e80bc0497ca4c28d521c2
SHA256: 20b6bb01ab7237f815cc0f67a38da4ca3cf24b80eab40847df1f7f3189de9406

Size: 63,301,940 bytes
coq-theories (coq-theories_8.9.0-1_arm64.deb)
SHA1: 3b6c73451a712d4c657b730857cfc1b0ca004046
SHA256: 3816c2deec14f8c67da309097a9d944e71f95e3feba909d8c4537b62e177094f

Size: 20,368,308 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_arm64.deb)
SHA1: 53d5f7ad506d7840b2ab5262fd0fddd897673ea2
SHA256: 6c043ceb7ff03d26ecb9b8fefd5fc2e7cb3c8365ce34b602504c56246fe56e99

Size: 5,806,372 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_arm64.deb)
SHA1: adecf8ebf1e9edea5fc88f4e63ff76329a799e6e
SHA256: 63684706368fd9ce2bc9a1122c07f5f882cb7f9b09d8c78b133f72dc8642734e

Size: 14,003,080 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_arm64.deb
SHA1: 0af84c40aa22f40a71102849accc9c764f44a819
Size: 513,688 bytes
coq-dbgsym_8.9.0-1_arm64.deb
SHA1: 0033a50255b4567033a4c04e174b0debf2ed1bbf
Size: 3,282,764 bytes

Submissions

bkbqjqqy
Submitted
Fri, 10 May 2019 05:31:37 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-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="1549474869"