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
Mon, 25 Nov 2019 13:13:31 +0000
Build-Path
/build/coq-8.9.1

First submitted
Mon, 25 Nov 2019 14:17:29 +0000
SHA1 of .buildinfo
4b791686aed7e5c8d6c940d0f61fb1d7f8745d94

Binaries

coq (coq_8.9.1-2_arm64.deb)
SHA1: 9c567d6d2a570c2d02d592fe448c55334c703754
SHA256: 120903d7033b8d0f7b230dcdb81c9b99d0f3b6c0abec0475d44471d1ae7dc76e

Size: 67,112,280 bytes
coq-theories (coq-theories_8.9.1-2_arm64.deb)
SHA1: 8d44992a29150244e57d35302a4a6327a4440e99
SHA256: 565da807f13faaea1290f0b594c3fd06d0d6ebed318dffe5ffa6c7f8a93a9da0

Size: 20,374,800 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2_arm64.deb)
SHA1: d6fb5d993f70d31fcdacdb222b857499621528d4
SHA256: d0446b1eb61976c3625192a265aa3a382d3406d7ea71f2ba8570783b71967852

Size: 6,049,928 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2_arm64.deb)
SHA1: c328e3da40a65a51242a7b3f3777b009a1c122c4
SHA256: 92dc1d61a54c3a7993ab6110a78fde2e03f8e8b340c07de4f7e22492b4b19d2b

Size: 14,415,312 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2_arm64.deb
SHA1: 0224ea92a507a33cd18fb9e900fb09d729d6c802
Size: 529,580 bytes
coq-dbgsym_8.9.1-2_arm64.deb
SHA1: 2661bf71771ae5110cd6fd0f59d1091541bc295a
Size: 3,736,768 bytes

Submissions

xzu9gmue
Submitted
Mon, 25 Nov 2019 14:17:30 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-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"