coq_8.9.1-4_arm64.buildinfo (view)

Source
coq
Version
8.9.1-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 27 Jan 2020 08:51:05 +0000
Build-Path
/build/coq-T37Ecj/coq-8.9.1

First submitted
Mon, 27 Jan 2020 12:23:53 +0000
SHA1 of .buildinfo
de1fdcbc7b856e618faa2a49c84a72fef2f04e6f

Binaries

coq (coq_8.9.1-4_arm64.deb)
SHA1: a98cc9bb18fa997400c1b14e333121f0e7fdcf70
SHA256: 5673b9c0fc78763495c9d8a261a4182a8692517ce0c792d11227d83d1f18ce6d

Size: 76,880,812 bytes
coqide (coqide_8.9.1-4_arm64.deb)
SHA1: c441e1281cd6e583671390239c258e7e244e17f3
SHA256: fddd58c59fc5117f9f60a3cda11e6766b5dd033949ac5962b82050782bf30d07

Size: 12,024,564 bytes
coq-theories (coq-theories_8.9.1-4_arm64.deb)
SHA1: ac2c038ead6b28fa4cd90abf2843787b965acfb8
SHA256: 5d43bf2188b867a85306d6a1f8c91b6c336c51bc3453c17a00c2fd6eb8f12264

Size: 20,354,108 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-4_arm64.deb)
SHA1: a9d37ac594a637528ce826281e3ca51132793330
SHA256: 40c7de06b4ccd74499bd6745e175e4a0b8630bd413bb5111973d562209b2b91d

Size: 6,053,032 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-4_arm64.deb)
SHA1: 4bb0ae29ff33481522a1797068c52e147c574f1f
SHA256: 9da8f81b1131549ad497b0bbb4ae4d9d29adb7307148029bfef8aed2f2113c57

Size: 15,414,692 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-4_arm64.deb
SHA1: 4870fa94fdcb6235fdee4272de6fefd0543e594e
Size: 528,608 bytes
coqide-dbgsym_8.9.1-4_arm64.deb
SHA1: c783c3c956d309e74c0bf32c63f63d16d62f7c5a
Size: 1,662,408 bytes
coq-dbgsym_8.9.1-4_arm64.deb
SHA1: d953cff64bb94804e9633d0fcf8883ed183a19dd
Size: 5,070,788 bytes

Submissions

vzqttdob
Submitted
Mon, 27 Jan 2020 12:23:53 +0000
Signed by
0x1FA1E5FB3284BF84

Environment


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