coq_8.6-4_arm64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 19 May 2018 05:25:42 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Sat, 15 Apr 2017 23:30:52 +0000
SHA1 of .buildinfo
9f334e79436388ce54a6d47fba52d91f6c8a46b3

Binaries

coq (coq_8.6-4_arm64.deb)
SHA1: 5103f872ef90a463d687b51a9124701c5ab868c5
SHA256: 645b956ea6ec1ea7f8185495ed6245c031f8a40cb37595d404ad7bf055265f7e

Size: 13,821,088 bytes
coqide (coqide_8.6-4_arm64.deb)
SHA1: 7b99566cbe318e713810ab2779d6fd2a048ae201
SHA256: ef554e252f8fbf313af5e1ed53c3e937380f2642b7e9597ac2f5c59cd90257c4

Size: 1,423,202 bytes
coq-theories (coq-theories_8.6-4_arm64.deb)
SHA1: b0416cd7b7b7fc314ab219ae070e66df131b506c
SHA256: a059e33fd252200476d24e26116822550c1cce71c5cf2ee0ad6d6988bc28abeb

Size: 22,857,022 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_arm64.deb)
SHA1: 0b73484838dff572162f494d442bd10d91b671a1
SHA256: 6192fa8d1d2401f9b1edd96b42ee59736df5d56683d5df3531fc2816586e394a

Size: 3,476,718 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_arm64.deb)
SHA1: acf6e7857b284d0356f429ca5214b05bafbf4010
SHA256: 5b10d2bf61efc6ff91929f40ab9282107f7651a699a2fb0be979cc5aefdded0f

Size: 13,519,282 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_arm64.deb
SHA1: ddb6d2730b663d4d1754b4a1c5f1ba03371647ea
Size: 79,556 bytes
libcoq-ocaml-dbgsym_8.6-4_arm64.deb
SHA1: 48ee76b2c3bb4ad2ecac3054343a07677bd8e4f6
Size: 254,920 bytes
coqide-dbgsym_8.6-4_arm64.deb
SHA1: 44ababefd29a236f8b1772e73c6f07560bd3fa50
Size: 356,308 bytes
coq-dbgsym_8.6-4_arm64.deb
SHA1: 2e0b1784500b657c82dd03788e2c7664f9a310c5
Size: 1,292,768 bytes

Submissions

mm3dwo9m
Submitted
Sat, 15 Apr 2017 23:30:52 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="coq_8.6-4=/build/coq-8.6/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1483051547"