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

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

SHA1: 694a3c8fef6af9031b3f37b6199089d807bb2ef8
SHA256: 5a768a8ca8bcd487fad5c1515a4b88daa7f1e2c0c8df060f85f4c95f2e11f4b9

Size: 91,750,116 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: 0184f42d76637e929603bf0a073abf4f4673cc03
SHA256: 5954734f109e90ce155ef5f0e61fecbd4003f41d8bdb59c6099a88fbb2b4ee55

Size: 25,472,536 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: 5d62f08d3e48a89dbdf6c9366e80f498c2118a75
SHA256: 384a004c109e15604884cd54640d4fa417f89047f33eb5fb5bb096db800d7d00

Size: 67,061,868 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)