coq_8.9.1-2_arm64.buildinfo (view)

Source
coq
Version
8.9.1-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 8 Nov 2019 17:30:25 +0000
Build-Path
/build/coq-Rxgc89/coq-8.9.1

First submitted
Sat, 9 Nov 2019 00:17:55 +0000
SHA1 of .buildinfo
8d48b68e70779530dc023e33a8679350a84ebae7

Binaries

coq (coq_8.9.1-2_arm64.deb)
SHA1: 1c09e472d23312b50bb58f0e77d1e604f539fb52
SHA256: 10d349b2dd748b40842c90ad026a20e7e2bbc5983293c3b5f1808c6637f0415f

Size: 67,125,136 bytes
coq-theories (coq-theories_8.9.1-2_arm64.deb)
SHA1: f150987123d7c4646dd8a9b11673ffc2c487190b
SHA256: f62a5992c5ec57933a783dfce78c7bc2e0ad3f947602300e35eb86cfe35b5a90

Size: 20,372,944 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2_arm64.deb)
SHA1: df6825e0558e7f124d3df8dad443794f7360024e
SHA256: ad7a27709296c347f9a8665b33e08726decc4997866098658761c67cef89b900

Size: 6,051,856 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2_arm64.deb)
SHA1: 96e968e6b67d11fde5fb231541b1ee1f68174878
SHA256: e03f6c3774a5d7e0e183c05adec22dd3fa5d3b021aaaace0c8f3149de7b3a9f7

Size: 14,421,548 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2_arm64.deb
SHA1: 5ceaf39ab077f26f8392ec403590ea60659fcd81
Size: 528,484 bytes
coq-dbgsym_8.9.1-2_arm64.deb
SHA1: 5ea6413b93bd9cb3c8d1dd2b15b062013add4f51
Size: 3,624,356 bytes

Submissions

sntirmgy
Submitted
Sat, 9 Nov 2019 00:17:56 +0000
Signed by
0x2052CFAF653F2630

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1573228126"