coq (8.9.0-1)_8.9.0-1+b1_arm64.buildinfo (view)

Source
coq (8.9.0-1)
Version
8.9.0-1+b1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 29 Jul 2019 09:00:14 +0000
Build-Path
/build/coq-el1Tb0/coq-8.9.0

First submitted
Mon, 29 Jul 2019 12:44:13 +0000
SHA1 of .buildinfo
88f21aafdd0d4844f28ae6e1c51b319103121d0d

Binaries

coq (coq_8.9.0-1+b1_arm64.deb)
SHA1: cb3f45edf0ecd95c2479e1b6a0cfb09ef5805423
SHA256: 87d4325e6bda18cf8a47c2831a1e144f9ed6f06d2c7bc28b99dbaa3afd0e2061

Size: 63,326,848 bytes
coq-theories (coq-theories_8.9.0-1+b1_arm64.deb)
SHA1: 4978efc4db0a6c9460b00699ebbcf89fd594a32a
SHA256: 8df8bd0f79e34ea1ab1fc0d0466cc0dbcd5095efa113d94aca3f23592bd36bca

Size: 20,372,776 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1+b1_arm64.deb)
SHA1: a2073dd4c43c464f40685bc4111da6546942625d
SHA256: a705b8286406ddde61d0c3fd2ee95bb9f3650a317067f16b6dbca5230bf4f2ec

Size: 5,870,988 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1+b1_arm64.deb)
SHA1: 34089acd9a4456780915f1e3b026eb50c1b0f0fa
SHA256: d631f8d5becb52930fe3258e589fcfb0bd594ff6f55a1446ef737d5075c00a7d

Size: 14,037,564 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1+b1_arm64.deb
SHA1: 0c854d93750d9146bf5630f3dbb1011c6070f960
Size: 515,868 bytes
coq-dbgsym_8.9.0-1+b1_arm64.deb
SHA1: bb87bc8a075d93f68febd4b229f2db3e93bd66c1
Size: 3,381,204 bytes

Submissions

9yrg99au
Submitted
Mon, 29 Jul 2019 12:44:14 +0000
Signed by
0x8B4E81F92C382079

Environment


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