coq_8.9.1-4_armhf.buildinfo (view)

Source
coq
Version
8.9.1-4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 27 Jan 2020 09:42:47 +0000
Build-Path
/build/coq-pFhNQT/coq-8.9.1

First submitted
Mon, 27 Jan 2020 12:41:05 +0000
SHA1 of .buildinfo
2f7d9bd0fc62524bc7fd978c6a45d60c2ee106ad

Binaries

coq (coq_8.9.1-4_armhf.deb)
SHA1: e211adeb63f5e630451be2d9d96762c2fb3736e4
SHA256: f5b78dc556b82c5b7d1d4577c4df18d2c5a75104697a9c5e06038de5f9436a65

Size: 68,432,212 bytes
coqide (coqide_8.9.1-4_armhf.deb)
SHA1: 9cd5f6ee6310766c8208f7ab8e0f29bf232ee45e
SHA256: 83c83d8321e3c371af47359b2145b8a7f2b62166a441869921347f26dcef565e

Size: 9,371,096 bytes
coq-theories (coq-theories_8.9.1-4_armhf.deb)
SHA1: aa0dcfe069ad98b0e3a011475fd32121bb9ef134
SHA256: 1e6a9c98c09b75373cfef091257ea25f73b40f332e67bbe28f3da0c73159b69a

Size: 20,343,292 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-4_armhf.deb)
SHA1: ef16797d38e74fd96ecaa8a797aa7811e64bd7a7
SHA256: 3c7f1c26bfe2a00be83f7ddf0379077e62d3d6177a4ec966c50929727535a37a

Size: 5,615,268 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-4_armhf.deb)
SHA1: 52d27b3000617a8e40dd20cca96b767fb27b6de0
SHA256: 9ac86156189c656b20275c430dce9e0f60986deaa1dc6b7dea7bc257c2b499f0

Size: 15,773,728 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-4_armhf.deb
SHA1: 9e6143932c6b0717f5ffd6cd9d3d05ed99c88154
Size: 499,804 bytes
coqide-dbgsym_8.9.1-4_armhf.deb
SHA1: b32a76b217aeb40dde0fa39057f18b3a6e424522
Size: 1,479,376 bytes
coq-dbgsym_8.9.1-4_armhf.deb
SHA1: 8d551134e5c741496a9165b3e04a7fc4e0129dae
Size: 4,423,792 bytes

Submissions

vhnizhde
Submitted
Mon, 27 Jan 2020 12:41:06 +0000
Signed by
0x4121BF61A17B96E8

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1580092173"