coq_8.12.0-3_ppc64el.buildinfo — buildinfo.debian.net

coq (coq_8.12.0-3_ppc64el.deb)

SHA1: e7f4ce4e4488b8eb232c7550a63f03b865a11d8d
SHA256: a8da4371156a7cfa7cd7e4071631bfb007bcced547ee94824ff0f016f3e6f624

Size: 80,777,452 bytes

coq-dbgsym (coq-dbgsym_8.12.0-3_ppc64el.deb)

SHA1: efef01b95b7150d0bc7e3bfcb33f53d9fe13506e
SHA256: fb3a49944a7592710554de36579b1bad9e76a1abf4229a414fcdd155359f684e

Size: 5,906,352 bytes

coqide (coqide_8.12.0-3_ppc64el.deb)

SHA1: 2a27e487134e0ee3e80aa529472f14f621430709
SHA256: e047c99cb4df0c248be3b98943b60a043456da57883b1375dc887ff31c0bbacb

Size: 1,862,272 bytes

coqide-dbgsym (coqide-dbgsym_8.12.0-3_ppc64el.deb)

SHA1: 6f4393a12c958af59fbe3ad4af9e91f17a94f26f
SHA256: c3630e2e2a4448484a10e4018c07590b7ab22e7a05f2ff92e4a5eff05d9fd3fe

Size: 454,624 bytes

coq-theories (coq-theories_8.12.0-3_ppc64el.deb)

SHA1: c3127573c17b52eeb97e897c6d6a363230e818fb
SHA256: 315efffd17421c75189608bbd748a9ef094a0b9ec33a5cb670766e1d50ba39d1

Size: 23,921,916 bytes

libcoq-ocaml (libcoq-ocaml_8.12.0-3_ppc64el.deb)

SHA1: 64a7c5eea91123e50d5f1ba2069559fead072db0
SHA256: 50d67cfe60c0ef9642d89f2ce83c5c5eed6605db0d19648078998195ee91fa5d

Size: 6,873,700 bytes

libcoq-ocaml-dbgsym (libcoq-ocaml-dbgsym_8.12.0-3_ppc64el.deb)

SHA1: 41e620ea99351db44c545ee24ce7147a97733775
SHA256: 19dad9e1c89cda9d24b783b911d19d1e9849971c0c5ecc23a190daff90be0918

Size: 537,956 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.12.0-3_ppc64el.deb)

SHA1: f1da5c0105d06c922ffc77f3a0dac9dff22006d6
SHA256: 5f121eed8fe43f7d1074784c0a83d665df6ed99dcea2f7713de8f7851bd8531d

Size: 16,922,740 bytes

coq_8.12.0-3_ppc64el.buildinfo (view)