coq_8.14.0+dfsg-1_arm64.buildinfo — buildinfo.debian.net

coq (coq_8.14.0+dfsg-1_arm64.deb)

SHA1: 9c60bd4924fdea402313e9272ff81ee23ae25938
SHA256: bffdee8c09f80a1170efc01873c47a30d8c685654bc6d2ff4867bc4030319cdb

Size: 84,087,380 bytes

coq-dbgsym (coq-dbgsym_8.14.0+dfsg-1_arm64.deb)

SHA1: 4314f085c8e6c560c19a77639cd86c84f8cfb0e1
SHA256: 8f5b261ba355e394efdec7a6aa4a9305819870ef6bfa8b67972256ad9301633e

Size: 8,913,504 bytes

coqide (coqide_8.14.0+dfsg-1_arm64.deb)

SHA1: 9ec149455ed67728da70c5e90db51dea9ad42885
SHA256: 2b5e6bce4dcb438e3c3fe9a00f5d74f636333688c4c1d390628a6be623790038

Size: 2,196,532 bytes

coqide-dbgsym (coqide-dbgsym_8.14.0+dfsg-1_arm64.deb)

SHA1: 7ffa3e898902e2c035d74fa40cf8fa5c0fa8cab9
SHA256: c32f0fcf38f4325c70e211ab1427cca33b6d540dbabe754554ccba30f6f87e5c

Size: 579,552 bytes

coq-theories (coq-theories_8.14.0+dfsg-1_arm64.deb)

SHA1: e159161c3920951fb4c1785ecbc26fde88f41aee
SHA256: 6742444db0cf0242be3772b2e2c0d34273de8c0a8643d7bea467da17e0949e91

Size: 24,896,888 bytes

libcoq-ocaml (libcoq-ocaml_8.14.0+dfsg-1_arm64.deb)

SHA1: d7e34e9235a7b6d17fdb900299d6eced7e027974
SHA256: 8486b6e451137c5fca2dea389b92ebc57b669f60e3674cbaef5c8021b4dc327e

Size: 6,665,780 bytes

libcoq-ocaml-dbgsym (libcoq-ocaml-dbgsym_8.14.0+dfsg-1_arm64.deb)

SHA1: 8a06aca217a804a989dd2fd0d7a06cf141895360
SHA256: 7a1b10e3f21d6cc89a51ef8af8ac58a576ab3a335e24ddfd91421474d3c7862a

Size: 1,608,600 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.14.0+dfsg-1_arm64.deb)

SHA1: 9260118f2bf83489a6b879105966de2c9696c51a
SHA256: f773426ecd9a53272cd67073364b46aeeaa1fecc7afd0795105b986645fac4ff

Size: 57,518,528 bytes

coq_8.14.0+dfsg-1_arm64.buildinfo (view)