coq_8.19.1+dfsg-3_arm64.buildinfo — buildinfo.debian.net

coq (coq_8.19.1+dfsg-3_arm64.deb)

SHA1: d793776380d1857ac2d5b7010a6c987bc0bc0447
SHA256: 21b196fc584492d1adef90ef7cc04a267084b9fb341aa1f329eedc72d736a432

Size: 91,752,228 bytes

coq-dbgsym (coq-dbgsym_8.19.1+dfsg-3_arm64.deb)

SHA1: 950d82f5e2237913a7f2a1c4cbe1315b75e2f28e
SHA256: 1f881cc0fef180915858c09a25a5ab39911c03b8d5de810a9bc025032ae3ebb9

Size: 10,284,628 bytes

coqide (coqide_8.19.1+dfsg-3_arm64.deb)

SHA1: b1ebaab221c3588e824f8285afc746fd1cacc14a
SHA256: 557911a7311a28a0ab4cb1187308202874297f6ce455cc5285bd2adccec7596f

Size: 2,465,564 bytes

coqide-dbgsym (coqide-dbgsym_8.19.1+dfsg-3_arm64.deb)

SHA1: 3ccd3ffdfcd3d9a3821da31d56724bc0ae26334b
SHA256: c63063e8354fd286553b4fa7a9790e6be4c8a84b0ce22cdb5819e19661ce961b

Size: 770,732 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.19.1+dfsg-3_arm64.deb)

SHA1: 5a2ee7ae121589861078c6a8117b09115556da78
SHA256: 3ed49057d677d8f93250bba6b85a6ad45b68e80fd0a6bf47e4df0a87f3a3f6a7

Size: 25,473,000 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.19.1+dfsg-3_arm64.deb)

SHA1: b730e1e8af9583a67d8bd64fc00e496f4ff2fc36
SHA256: 74139c96265ddfe078a5d11784f1a600d4ee9a344ebb12c4df77fac28c09631d

Size: 2,284,760 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.19.1+dfsg-3_arm64.deb)

SHA1: 7e29dc91e755eeb6a57b875faa66a9512175c10a
SHA256: d8cd6be90b3fba7b203edd83ed440834d112525bc4b874e81933c56ab06a7b9e

Size: 67,059,928 bytes

libcoq-stdlib (libcoq-stdlib_8.19.1+dfsg-3_arm64.deb)

SHA1: 60cb4d7b0de090c40bf2419d3ab8731f5b19e2b2
SHA256: 42b401838f9d89ab3342e0d985356f4bae9049ef599d2bf4088d8ff9cf2c31ea

Size: 23,655,580 bytes

coq_8.19.1+dfsg-3_arm64.buildinfo (view)