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

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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 3 Dec 2019 08:22:08 +0000
Build-Path
/build/coq-6X1tbj/coq-8.9.1

First submitted
Tue, 3 Dec 2019 13:13:11 +0000
SHA1 of .buildinfo
d53f49743c52e3393534610587ce845c838719eb

Binaries

coq (coq_8.9.1-2+b1_arm64.deb)
SHA1: 976fff6253a7953afa3b698b8b1b2e7e884e3d9c
SHA256: 8011c792203de66048bca40c963118a8f3899076ef1e22107a85e9f367f26e2b

Size: 67,126,968 bytes
coq-theories (coq-theories_8.9.1-2+b1_arm64.deb)
SHA1: 87a4403fee31cf843ebf1879564935e5807d9dd5
SHA256: c9c202132c3f70abe72b528657f0ccd853e35a40c234778c71a8657003c26da3

Size: 20,372,136 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2+b1_arm64.deb)
SHA1: d2e4aef44093e6da045f78ce6c9492868cf4e8d4
SHA256: 384afb4d92cd6859e1248c01684aaa9150bff9a2cfd4b615c8d9c91a77ef132f

Size: 6,047,596 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2+b1_arm64.deb)
SHA1: 9eab77f1bf743213f097fc90b6a85b99a97494ed
SHA256: 62fc60cda74b1db826f86fa111530d4b6dfd2e4661e98bf52f41b1a9670cbf5c

Size: 14,425,920 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2+b1_arm64.deb
SHA1: d0c6249b73fdbf32ea60279a962d5327b35e18e9
Size: 528,656 bytes
coq-dbgsym_8.9.1-2+b1_arm64.deb
SHA1: 9634b625fd60a10f2c7b9bf1231ec529e37a34c0
Size: 3,814,328 bytes

Submissions

7a3dqejg
Submitted
Tue, 3 Dec 2019 13:13:11 +0000
Signed by
0x16C00C90428A308D

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1575358753"