coq_8.16.0+dfsg-1_arm64.buildinfo — buildinfo.debian.net

coq (coq_8.16.0+dfsg-1_arm64.deb)

SHA1: a669a00f7bd15665bb7e330a8fbcd914dcaa856a
SHA256: 05272b06515a611a507b2bbfa14f6b182f5fb0223868df56ab02af40ac0f3d4e

Size: 102,127,104 bytes

coq-dbgsym (coq-dbgsym_8.16.0+dfsg-1_arm64.deb)

SHA1: 549e7982955ea00b6c8c65fb5b61766691635ebe
SHA256: 0f1394db3898dce7a8c7cab42657683825155e232f04bf3470e691d350850d71

Size: 17,718,400 bytes

coqide (coqide_8.16.0+dfsg-1_arm64.deb)

SHA1: 334519d0147bd0160f8140047d8855473f348a73
SHA256: b260061ad24e62698ccaf1a47548091ccb2151db376177c5b01591edf0ca2c5f

Size: 2,316,352 bytes

coqide-dbgsym (coqide-dbgsym_8.16.0+dfsg-1_arm64.deb)

SHA1: 72a92d11630a29c98384b7439951dfcf5098fe9f
SHA256: d5a0d100bc3a14754f21075b2b1e3b943a9a9d1f9d75bf99d466adb8781c8e98

Size: 712,408 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.16.0+dfsg-1_arm64.deb)

SHA1: 0d8446e06b815b318d7cac9c685c5843c9c94d10
SHA256: b27ed15c92b7be553886de6182182eb9d7831899fc99e251a48eb2fd7fd8f516

Size: 23,094,628 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.16.0+dfsg-1_arm64.deb)

SHA1: 2ab6cc6c7a92116c52a41ba1ae101a4262027138
SHA256: d489059fb8c629f158f6ddba9c6a013fec88ee1d65148891f16e8c6991e50f99

Size: 2,873,212 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.16.0+dfsg-1_arm64.deb)

SHA1: 9747329a144087f6bd22a75e7618939fda83efd8
SHA256: a7bd223279969d8bc36ec076bceeaf9c65529b7621245e50068919e9cda16607

Size: 43,919,576 bytes

libcoq-stdlib (libcoq-stdlib_8.16.0+dfsg-1_arm64.deb)

SHA1: 5910af0a4ec122ec165abad365b4f3d25479a15f
SHA256: 52b570397fb1411b00d2e8fec5fedbf843af750c30adf248fa48deb32ea73b42

Size: 21,533,496 bytes

coq_8.16.0+dfsg-1_arm64.buildinfo (view)