coq_8.6-4_arm64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 2 Sep 2018 23:50:31 +0000
Build-Path
/build/coq-8.6

First submitted
Mon, 31 Jul 2017 17:47:20 +0000
SHA1 of .buildinfo
b7c83f994912d57fad54b8a3daaf420f31d5149b

Binaries

coq (coq_8.6-4_arm64.deb)
SHA1: d3671e822d52f385fed722d9d5461b476115151c
SHA256: f823a09858cd1a2f866a3583bf11911d9bcdfff5befd470d6962c22874995f13

Size: 13,822,108 bytes
coqide (coqide_8.6-4_arm64.deb)
SHA1: 79310a9f04617dfb11dba073019aa594c5dd4bf6
SHA256: e09b9f2f395acf5c96cefc01a722b0e432aab3b6f47d04542bdb3c7a9e4209b9

Size: 1,422,362 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: 4363c80f60013a188392b7912479c2dd741558e9
SHA256: f3132228a99ddad8f768aace59afd16f371627c0bdea91996d65f60c2bedae89

Size: 3,476,698 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_arm64.deb)
SHA1: d92d4297b97297d0d8179f1b3badbd1702c5d4c2
SHA256: b94f43a7e3ea914cfd125aa45f8174f4a01b4acaee8ee08d74f06931681ce513

Size: 13,524,408 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_arm64.deb
SHA1: da1e96b534916a3f6cfdfa575ca87c9e8c2dd53b
Size: 79,552 bytes
libcoq-ocaml-dbgsym_8.6-4_arm64.deb
SHA1: aeff4511219dad800d8dbb155195756a5f18de29
Size: 254,998 bytes
coqide-dbgsym_8.6-4_arm64.deb
SHA1: e879059da150bb3164144a1fb2779d8d2498b1fb
Size: 360,886 bytes
coq-dbgsym_8.6-4_arm64.deb
SHA1: 4edde8cedce56868fd81db7c422e28b11fa86c70
Size: 1,323,002 bytes

Submissions

ejpawmyi
Submitted
Mon, 31 Jul 2017 17:47:20 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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