coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 12 Aug 2018 02:48:48 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Sun, 12 Aug 2018 03:29:04 +0000
SHA1 of .buildinfo
4fe9d3b4129d15b89411cd30cba7e614b1e29e20

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: a9a36b521946774eb4ae3adbf2fad8b399cca015
SHA256: 317b0f5fa26974f57b938e88547608fea879b82e17c57ce2c5f1a53788ef3e51

Size: 18,893,840 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: d328bf9e5098c23f8516c37e882cd47bfdd7f8d7
SHA256: c59fc7231565ec0f5490e3abf8673f4254f94b521956b5d21b32e15d073849a1

Size: 1,752,768 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: fc7ec3b8b7c99bcc2e3033461ecd05af38664349
SHA256: f5c17b0e179a7d34bd1ff8c1244237ffc14047976e37f9fda4a260b94078d9a6

Size: 22,871,644 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: 5cc2b978d99a87c230f023a057d902b28e41adad
SHA256: 9b07531e8d18b6b7fb89966f686660bb8173dffd18d5aa769d07be45aa09cf5f

Size: 3,823,636 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: f7d7a15fa44360d5e2a74cf0d9ee4b058999cd08
SHA256: 45280464e40c242ab87531e00f71841001990d20927eb7e26f8c15608cf69170

Size: 14,090,716 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: 1e841fb0af0ccfc158e270600329586879100769
Size: 107,384 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: d6063c655268cf5be13bfeb59dc75f2104bb45eb
Size: 341,664 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: 68311ffd4894b8f76a722c95f32419481036f4d3
Size: 491,292 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: 2c224e64512575ec49defb7b105d520c3da18f4a
Size: 1,854,028 bytes

Submissions

yqejegka
Submitted
Sun, 12 Aug 2018 03:29:04 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-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"