coq (8.12.0-3)_8.12.0-3+b1_arm64.buildinfo

coq (coq_8.12.0-3+b1_arm64.deb)

SHA1: 400e749c98905d86a496ab483caa7f207adff22e
SHA256: 4f74fcb7372a5e713dbfeb1c3bdc542390f98178b8499bfe059bb974873810cb

Size: 85,584,152 bytes

coq-dbgsym (coq-dbgsym_8.12.0-3+b1_arm64.deb)

SHA1: a2c49dfc99905e4b09a7b4f0399f2fa1411b20eb
SHA256: e6fc7dc907058cfee63b7d418a513a491eb6eaa088de963b445fe9cf99b8fc04

Size: 5,774,028 bytes

coqide (coqide_8.12.0-3+b1_arm64.deb)

SHA1: 2d1d80e35ed5e11aebd568549bd5cf452ec2bff8
SHA256: dd5f23336db2cb3c8c645061aa6b799af23cb8ba89ffec1e10936fe6dc0dfb8b

Size: 2,098,104 bytes

coqide-dbgsym (coqide-dbgsym_8.12.0-3+b1_arm64.deb)

SHA1: 98c3e45687f555a49a24066de7167775dbf36a3b
SHA256: b9c12ac0414f5585a6c689cdb9e1ecee869d7098e77842e248512262cb160245

Size: 548,612 bytes

coq-theories (coq-theories_8.12.0-3+b1_arm64.deb)

SHA1: ee715002ac6fa1fc068dce75fd07d391c10126cd
SHA256: 43bd98788d00ad480c98378e0b33a9f1f56a701697574f4bc1bd3a427d343f1d

Size: 23,926,028 bytes

libcoq-ocaml (libcoq-ocaml_8.12.0-3+b1_arm64.deb)

SHA1: 5b14e29f1784a109a6a3cb3b3f3b5b7426664089
SHA256: 5d79a01f75d96e3771d864fd1f2c721628f5b4a0e476fba123ed353173a051cc

Size: 7,143,312 bytes

libcoq-ocaml-dbgsym (libcoq-ocaml-dbgsym_8.12.0-3+b1_arm64.deb)

SHA1: ff94de353a3af54d4b2615b6807e32c8d1886365
SHA256: f4721df8a011c4bccf586512d0e45c3ef08e1227346b771530d5e50797a7d73f

Size: 598,616 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.12.0-3+b1_arm64.deb)

SHA1: 6e1070c7d304ac7b03b2d3301d327a8beeb0104b
SHA256: 47eea76c3fc5835e327a9a0014cd22d9c95099365ee0b8922ecfe5f1f7ba29ac

Size: 16,866,260 bytes

coq (8.12.0-3)_8.12.0-3+b1_arm64.buildinfo (view)