ssreflect_1.15.0-1_arm64.buildinfo — buildinfo.debian.net

libcoq-mathcomp (libcoq-mathcomp_1.15.0-1_arm64.deb)

SHA1: 31c6ae1eb85b6bc74ea7064d698d4d6919cdd1bd
SHA256: 7c07150e8535561cacab9eb5e16129cbe1f58cb3533602b96de2f7c33c45ea81

Size: 3,164,244 bytes

libcoq-mathcomp-algebra (libcoq-mathcomp-algebra_1.15.0-1_arm64.deb)

SHA1: 687451c253857cb388418f6728e40ea303de6f2c
SHA256: dd7dd93d70501fc881fc5c4b6b02adeaabdc6f62fdceb75a9e99a73675e90547

Size: 6,458,228 bytes

libcoq-mathcomp-character (libcoq-mathcomp-character_1.15.0-1_arm64.deb)

SHA1: 60d7e060025cf11c008f27c9e55e2769b2d36710
SHA256: 417e369b479f6218d96bb8af6be8c41d552c5bc4fecd950c603b2d303af16a46

Size: 3,971,044 bytes

libcoq-mathcomp-field (libcoq-mathcomp-field_1.15.0-1_arm64.deb)

SHA1: f73f44b51eaeff60aa7e3474eeb966ea2800cd82
SHA256: c5fbef1115120a31e523b053d6732a488b142a9f01cfc50b8a568d2f1b82277e

Size: 2,799,952 bytes

libcoq-mathcomp-fingroup (libcoq-mathcomp-fingroup_1.15.0-1_arm64.deb)

SHA1: ae5171965589c08d88abc6b31895f5bd1ae4fe6a
SHA256: 5d8a7a048a2e687e298200714d8ae6358211cd09bdbec50f8f584a2a113dc6a7

Size: 1,896,368 bytes

libcoq-mathcomp-solvable (libcoq-mathcomp-solvable_1.15.0-1_arm64.deb)

SHA1: 2ede3221ea45f77fb16f5f20b8e453e60bdbaae9
SHA256: 59dd1c7506450ddd11e6a9992fcdfb6967a6446bb504bb4a2a208188bb10bf51

Size: 4,616,308 bytes

libcoq-mathcomp-ssreflect (libcoq-mathcomp-ssreflect_1.15.0-1_arm64.deb)

SHA1: cc65c4f924b5eab6022ca03b3e8ac6a0cd05eb03
SHA256: 0ac08ff619d022b618f6b976e9bb8c5c0650e9bece19a8576b612513ccafbf31

Size: 4,180,756 bytes

ssreflect_1.15.0-1_arm64.buildinfo (view)