coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 7 Oct 2019 10:47:40 +0000
Build-Path
/build/1st/coq-8.6

First submitted
Tue, 4 Sep 2018 06:31:32 +0000
SHA1 of .buildinfo
0fdac37f1a2e0c8d72e2c84d8a88b5561108ce2e

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: e1312fea9422dff8c59935d44c4b5d0377df61a7
SHA256: 71eb733a4eeddc925244e0bf7484fb396e5a015f6fd548ac606839ceae2eefb0

Size: 18,899,564 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: c192d3095c00b8200b0025b87272634940df4c1f
SHA256: 45e08dbbdb609adcc35ba1dbaf2ed7b3680c9f1b2d635d9c1c82778df68bc13a

Size: 1,752,192 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: 5801569fd585c99421d01dd8c823e13cea30e1d8
SHA256: c0f307d3b121312537f517ad99044140b64dfdb08ae923cf685dfc326ddb7d92

Size: 22,870,860 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: ba621168745ec4da74f2a80570e3cbf2a7f46bc6
SHA256: fced1d26d71418546140a5df86ec7e30d8cb1393e63617ac3c075027b42024eb

Size: 3,824,188 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: 8cb76c446f3fb7c2937db9eb4e65490905d39a55
SHA256: 2dc0e376335cef0477986221e0e33ded4270b495b09a8c66f02762d18f97a5d1

Size: 14,086,460 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: 32bd5b1c8b4f34674b3f044da337c09a925d9e30
Size: 107,768 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 8cf8231a583a6aec577886f7f90a44311584b6f1
Size: 341,744 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: 98b30f4bbe155a0d72085fb31f87f4aa058fbdf9
Size: 492,268 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: 288462bab9eb0a35c3926fecb5c70cd1e4be5a50
Size: 1,864,280 bytes

Submissions

9ibcvuca
Submitted
Tue, 4 Sep 2018 06:31:33 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1506416932"