coq_8.9.0-1_armhf.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 14 Mar 2019 17:32:06 +0000
Build-Path
/build/coq-8.9.0/2nd

First submitted
Thu, 14 Mar 2019 19:54:13 +0000
SHA1 of .buildinfo
63ca6d03f1d3353eb6e469a184ae5bf3281310e7

Binaries

coq (coq_8.9.0-1_armhf.deb)
SHA1: 81fa2817aa3f8f74592cc385857ad4dea254b875
SHA256: 7823dd4d6c2e6733bafdc26d05a36959de47f0e90b92de8b5c29671bba4590fb

Size: 57,325,620 bytes
coq-theories (coq-theories_8.9.0-1_armhf.deb)
SHA1: 4513b55fc0d702105cf0089bf66112746f421b8e
SHA256: 0b6a7b147f66e7f51b7b30c94b22c76dd8ecdff66b15d5d5f15c2c04cddfe064

Size: 20,350,064 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_armhf.deb)
SHA1: 62edf91518d9301977880398fc23153717ffe4fe
SHA256: deca2b9f780cb909ae0d6fa0779559a2692b7ef2710df30bd444da85b5330dfc

Size: 5,380,940 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_armhf.deb)
SHA1: e81f792147184d41934f582c2b75945f12c83f8b
SHA256: b92d8b3b10acd5ac1e5fcb164d2aa866201b0ac31bca6be6f11433cb6c3a12e7

Size: 14,403,072 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_armhf.deb
SHA1: 8c9a19d820fae6815a6a8df200cc69ac08a59bae
Size: 479,164 bytes
coq-dbgsym_8.9.0-1_armhf.deb
SHA1: 66566273bd4923729e8861357b878bc9ef3e047e
Size: 3,166,248 bytes

Submissions

k7wt4ajg
Submitted
Thu, 14 Mar 2019 19:54:14 +0000
Signed by
0x7BF7A541C51D4B87 cbxi4pro0 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1549474869"