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

coq (coq_8.12.0-3_arm64.deb)

SHA1: 9ee92435c2241f597c828ebdeb4d2d4dba4a288b
SHA256: d1dec4ae41d2ad0d98bce94ed8dce5f261bfd16a0ad1a82514724373ed26d760

Size: 85,558,772 bytes

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

SHA1: 35aeca0bed1fa9b395b1d3879c9ded8f5411f3cd
SHA256: 0dd0db3e54bcc76df4cb2334bc741239c76e766392a844612ec1a989349045a1

Size: 6,924,200 bytes

coqide (coqide_8.12.0-3_arm64.deb)

SHA1: c4dce16ae2762555e41e4a843635d1d5395741cd
SHA256: 2e5d1394ea183c6890710441e839b0d37fca0976c6da382ac969e4a06fd304c8

Size: 2,111,432 bytes

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

SHA1: 8a0a94ae6b98566ebae3ee0d89d4664f32f12931
SHA256: 318158c37ebdf52c236c18c90d68d29affc9d178033d3b68d100867318e08c58

Size: 547,492 bytes

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

SHA1: 43cf5ca3e75f0da3b6cf5d93fda64d82f8af3c89
SHA256: c6f9bdc6395e788f2ba6047cc5d253275e81f4208c87e5f638b2ad2f8b82a7ff

Size: 23,923,504 bytes

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

SHA1: d68a9a59d26a9410702a9e3dc1b98bbe5224a031
SHA256: ba63cecb7476509215c63161afab0d82feedfdd9d2d9c5e21d5f9e865e19f46c

Size: 7,144,928 bytes

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

SHA1: ba423b47a8207e7ea40d28b2427a2278ebcb1dc2
SHA256: 7b7b6c942d0890d8239a2a34a56785d1349cd3e85eada3dae5119683f8a25bd9

Size: 599,368 bytes

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

SHA1: 21680b7fab912f3ff8cddcc2d948bf6765719081
SHA256: ad1d3c1158ce20258c0260249fa2382c1f3bbb62746e7025e89957a4f3f86397

Size: 16,865,720 bytes

coq_8.12.0-3_arm64.buildinfo (view)