coq_8.9.0-1_arm64.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 6 Feb 2019 20:15:54 +0000
Build-Path
/build/coq-C1CxCW/coq-8.9.0

First submitted
Thu, 7 Feb 2019 00:11:30 +0000
SHA1 of .buildinfo
e074b3b2bdb5bedc19c03e4a49d3f3f65f2c6625

Binaries

coq (coq_8.9.0-1_arm64.deb)
SHA1: 8d482abdc2b0a06347a655def2eee81dfacbe7d9
SHA256: 9a04c7efd4d0ffdbade33c987bcf8769c7d1d6285b8afc380537cc8a84daced9

Size: 63,337,232 bytes
coq-theories (coq-theories_8.9.0-1_arm64.deb)
SHA1: 1a3efe87bb31376e598b8e382762142ab9fee451
SHA256: 9745d456a43965126cf355af106189c753b88f8ab9e62f57678cf2269e6036bf

Size: 20,367,676 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_arm64.deb)
SHA1: 36c50216134115afa2f2a38b9e15bfe5fdc364a9
SHA256: 458829f8725b16688ce0d5769b174390b14da9bf73d2c19759404ce518a778c0

Size: 5,803,688 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_arm64.deb)
SHA1: 6894b230b3d0da599554574f21690faedf7187ae
SHA256: 8fd42f1730a8be52fcbfb3fb24d65266b9b3bdb3788fb25d4f6f13421572bf3b

Size: 14,001,864 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_arm64.deb
SHA1: 784a11b5e425ed020cc7f4cd19077b40b4556abc
Size: 513,288 bytes
coq-dbgsym_8.9.0-1_arm64.deb
SHA1: 12b4f6ed1ab0c9c1b114dfcc9c886ce082de3bb9
Size: 3,610,888 bytes

Submissions

i9atg4jh
Submitted
Thu, 7 Feb 2019 00:11:30 +0000
Signed by
0x8138E87214AC1155

Environment


DEB_BUILD_OPTIONS="parallel=3"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1549474869"