coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 11 Sep 2019 04:34:10 +0000
Build-Path
/build/coq-8.6

First submitted
Wed, 8 Aug 2018 22:41:14 +0000
SHA1 of .buildinfo
c2344e2dd6da7a71c4e3ed75d1f8f894a68e625f

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: e5fd439be24daf252167e98339ea9bcf877539b0
SHA256: 9b5cf6e21062f864a725e5d2193143def0d52e34edd267513cf452569fe1eaa0

Size: 18,888,944 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: c757a236e5dc5470b827f3d2bc4f5ba9b387b046
SHA256: d9df542d11d19ac0e1944cfbd10f3b0210501ca0ebff3cd081061a05c440d65f

Size: 1,752,096 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: ada3cd6344e416e0f11eb3c4687811a2b9191b87
SHA256: f93580d36952897a6350396d89ef4d44b18c102bf453008e3b7ae32ca5479c67

Size: 22,871,672 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: 30c3b96712e82367427f429759e80f533bfb6835
SHA256: 8f90b40cb40801c61fa09d4f4e5200e9aec5def4697acd14d614a6977b46dbc3

Size: 3,828,048 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: 316b349a0aba56ea77377d4ce82684b32fcae96b
SHA256: f0835fd312ea519b3d9cd197b060ccfcfcf7221cfdd24e5a10c0a9cc930d3dd7

Size: 14,085,184 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: bf42c49c92301f41438af5e58ab1cb35a6642498
Size: 107,760 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 6073372284993a44edadc64785ac17ea877384f7
Size: 342,204 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: bd67184ba59d657f00b1273f7ab1db1eb98d4fb2
Size: 491,336 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: 853ad70db5a1533f27a7a93838dc179aa216450a
Size: 1,856,024 bytes

Submissions

cvo4d43h
Submitted
Wed, 8 Aug 2018 22:41:15 +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="1506416932"