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

coq (coq_8.12.0-3_arm64.deb)

SHA1: 009ccc758484278d20eb9c9322b6fb7e094fbf15
SHA256: 106edc144c2bf3685da0a2f8fce7c6e58c866cf080860e8826b988dfaecd0016

Size: 96,023,496 bytes

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

SHA1: 9546898b190d27f923230653ec18cc8cf6522c01
SHA256: e53fd7bfc85c40de4d744d8ebb715e5d6e5d5dd579d0c5363fe101079f89b1b5

Size: 7,120,460 bytes

coqide (coqide_8.12.0-3_arm64.deb)

SHA1: 886c453dd39bf716b59da8ba87b2daaaa3e59b0a
SHA256: dd0823d33625c3b255107f9c27e949c3d3c3fdd6d923f90af48e6a556b69102f

Size: 2,175,752 bytes

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

SHA1: ae720df93c3e08b261527e931126c2e98a809662
SHA256: 78f3a7a5f58189abbcdd7fc38d24ea60f4394ef048a2a5dc9baff52a03463cea

Size: 575,468 bytes

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

SHA1: d83754f4f670cb6383057b5eca7a139c5ad2c132
SHA256: 3f5df8d1effb4c8ebfce03234206f42079f44cd7b6a420de818b808769da84c0

Size: 23,923,300 bytes

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

SHA1: 98b5bc2557e52efc3675091059e913e72adb52f5
SHA256: 179fd2e032afb1d97f95f247b4d5fb3cbcea7d62d829207bcd8f969038b2f734

Size: 7,977,752 bytes

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

SHA1: 567fc022ec4dcff48e6d948c7f01c73148d10fb4
SHA256: c62e12f21b483c1bc7686067174e844721ccd0b13d661b6e6ee83dfcdf164874

Size: 574,648 bytes

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

SHA1: f0d40712937dd8979d7e366c2cf1dab131abddbf
SHA256: 56011d96b3e5ed18e50ed0b199e96db9e851e63e52ec6dec461fa72a8cd7d78c

Size: 18,726,256 bytes

coq_8.12.0-3_arm64.buildinfo (view)