coq (8.9.1-5)_8.9.1-5+b1_arm64.buildinfo (view)

Source
coq (8.9.1-5)
Version
8.9.1-5+b1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 11 Feb 2020 18:13:05 +0000
Build-Path
/build/coq-eFUvc9/coq-8.9.1

First submitted
Wed, 12 Feb 2020 00:12:31 +0000
SHA1 of .buildinfo
558ce2876f5d2732965e8581fab90ec1b8735ef9

Binaries

coq (coq_8.9.1-5+b1_arm64.deb)
SHA1: 06e110df706fcf6b666b8b1d330a19f45bb7ac60
SHA256: 17ab2d46916a747521cb7b31abdd1d916f6f4a68c6bce45da87f1e2e2afbcc6e

Size: 76,902,004 bytes
coqide (coqide_8.9.1-5+b1_arm64.deb)
SHA1: 4bbbc59092dd30c228b3163e41e78ea8bcb720e6
SHA256: 739ea530675b7e2b494b5c8b24ceac1e0d01d87b128db9cafbff6de811272d22

Size: 2,209,780 bytes
coq-theories (coq-theories_8.9.1-5+b1_arm64.deb)
SHA1: 6af86bc82ec19772a938325a639c203c3b161a00
SHA256: 934db2f8cc01b684514f750aafbebd3f76ccc83e8e7f9985f91e7e52ebb06a7c

Size: 20,357,464 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-5+b1_arm64.deb)
SHA1: 765e2755c94414e2614e7c6168733f8aebbae92c
SHA256: edef50cda72db9ebd692cf228c001681007d3b2bef64557b6fcef1eac0a93964

Size: 6,051,560 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-5+b1_arm64.deb)
SHA1: 9482de5ddef43eb2b7751d58f3b8c2fab9671fd7
SHA256: 1a09fa0518470a647175bf5fa9d4fe9d227c0b1d211ecd61602e756eda0dc0ec

Size: 15,420,420 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-5+b1_arm64.deb
SHA1: c9f66fe45510bff27fe01721f51a57b398a0e5f5
Size: 527,724 bytes
coqide-dbgsym_8.9.1-5+b1_arm64.deb
SHA1: c78c5cb480e6e5be80fee416161bace200af8ce6
Size: 530,124 bytes
coq-dbgsym_8.9.1-5+b1_arm64.deb
SHA1: 4ab82fa70bdebfe7cdfc746d39fb858c9c0b1ea2
Size: 4,738,064 bytes

Submissions

h9wnckbe
Submitted
Wed, 12 Feb 2020 00:12:32 +0000
Signed by
0x4BAF86D0AEEB3A9E

Environment


DEB_BUILD_OPTIONS="parallel=16"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1581438366"