coq_8.9.1-5_armhf.buildinfo (view)

Source
coq
Version
8.9.1-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 29 Jan 2020 09:46:05 +0000
Build-Path
/build/coq-cO7HLx/coq-8.9.1

First submitted
Wed, 29 Jan 2020 13:21:05 +0000
SHA1 of .buildinfo
f89962447013eb618c33de072c4341e7ecfdfb0e

Binaries

coq (coq_8.9.1-5_armhf.deb)
SHA1: b9530de39857f2761af6274d623ab10be4a3ae70
SHA256: 215793ed23e3d811270d7fc6c146fe596322711370f8883288ca2ae2164cba60

Size: 68,440,000 bytes
coqide (coqide_8.9.1-5_armhf.deb)
SHA1: 9ac701f15ffd128b7bff813b2617988502f098e0
SHA256: 89f8e0829af7bb253f79f964484bd56bf7484e8ad38d4b9c671ce09fbee5da3d

Size: 1,740,688 bytes
coq-theories (coq-theories_8.9.1-5_armhf.deb)
SHA1: 32dd8f768141b9fd090c280d89dbc82c35b9646d
SHA256: 170a02ca9c50fe96c1b194afa71c88bc311c0b9f87452f66fff86ec45381ec39

Size: 20,344,592 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-5_armhf.deb)
SHA1: c0be45b9b104e6f34bd4da244f670d7644f34e13
SHA256: 277056d86da4e06bc207b4a29bb20debe544940b2e79afa889ff9d3662eaa87f

Size: 5,609,640 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-5_armhf.deb)
SHA1: 8b8b2d7cc76d7f50af3b48501e022317e7e1e7a1
SHA256: eb63d8dcc699c38edb992e58ec74b09bbee9c110f93beb42da947d1a4c7eee43

Size: 15,771,560 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-5_armhf.deb
SHA1: baad4c04859335d8990bafca7ecdb3bfd92c3910
Size: 499,356 bytes
coqide-dbgsym_8.9.1-5_armhf.deb
SHA1: 33f896dc0682fcc957037aa0dba30833e1595954
Size: 479,256 bytes
coq-dbgsym_8.9.1-5_armhf.deb
SHA1: 979d1e7289015091ecc9a7694f825698753f26dc
Size: 4,465,872 bytes

Submissions

r9m7xpee
Submitted
Wed, 29 Jan 2020 13:21:05 +0000
Signed by
0x6A588AAFDA7ABFE9

Environment


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