Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 8 Oct 2019 17:55:10 +0000
Build-Path
/build/coq-8.6

First submitted
Wed, 5 Sep 2018 13:32:57 +0000
SHA1 of .buildinfo
7210c5ec69e22822eb9950ec3339172ba76d3d55

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: 74e329bf3517d6a20951ce6d833a55fce54b8030
SHA256: 868806c34bf53e53d848217c571da8b627576d5a50b3836cf872768db08d2dd8

Size: 18,890,812 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: d5cc7f4bf60da1bce26c5901a5af5593ff1d8faa
SHA256: 9114a4218af77652f34ca2b2cf0c04f418bf4e3912e6be3d2ba659ebd7801208

Size: 1,750,560 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: e2c830e5878d61e29479c1334fe24c0d1af4fabc
SHA256: 54d9041e111dad41685b8acafed29f8b49ba641d4428744b02b7b9d6e0e16d59

Size: 22,871,756 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: 10904a64fc3b1b5097295ecd4dba0ed76cd46fe1
SHA256: 11a0b4d31afc824ed60b86228b9af322030deeae7a07c852a2ac8121030992e4

Size: 3,823,992 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: d4a39b26a30e5ccce763408446087cae161be587
SHA256: e55e91c1c1dfed5ccdf23ba308331b459e3f33dfe95f45157be756ef0e84537d

Size: 14,081,836 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: df7488f43b417d2ea756c78b6b670e7555c5e81b
Size: 107,776 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 6e7bf2e45ff624fe7389ef470551265ae854e7d6
Size: 341,808 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: 240a940fe6ec906874fff7af50386317be23e5e1
Size: 491,828 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: 6d9f6956dcf5b1793702fc3e5c5a4ef13b51ffc6
Size: 1,860,060 bytes

Submissions

Submitted
Wed, 5 Sep 2018 13:32:58 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-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"