ssreflect_1.14.0-9_arm64.buildinfo — buildinfo.debian.net

libcoq-mathcomp (libcoq-mathcomp_1.14.0-9_arm64.deb)

SHA1: 6c533bb40149cf9e2b36d735e7ce7eb9b90482a4
SHA256: e1740c09610f69f6e4b26abb895a49f2c55ced4a4acc7737bc1b7bfa780c5cb0

Size: 3,152,408 bytes

libcoq-mathcomp-algebra (libcoq-mathcomp-algebra_1.14.0-9_arm64.deb)

SHA1: c235e75d577b6b59ec47dda3779bbdf96eb54ece
SHA256: 33f25e8381a8712f2f7fef847e5050ddc04096ebec42fa904d9d116b7b86d5c1

Size: 6,413,024 bytes

libcoq-mathcomp-character (libcoq-mathcomp-character_1.14.0-9_arm64.deb)

SHA1: c970a7b893553a9fa297e36f617c9a66f6909e1f
SHA256: 8255d554872898ab172bfa7d907fc2b9babb302e32f176ad0e3c5772296dcdac

Size: 3,966,996 bytes

libcoq-mathcomp-field (libcoq-mathcomp-field_1.14.0-9_arm64.deb)

SHA1: 3f8ac840ca561592dd493a79cbe0050ae055a743
SHA256: d5094409abcf51431b57ee26999130561555603f7c02e2e3eeab754b1b56db07

Size: 2,795,928 bytes

libcoq-mathcomp-fingroup (libcoq-mathcomp-fingroup_1.14.0-9_arm64.deb)

SHA1: acc0397cb6ebbeba275cfb46f732d59af220145b
SHA256: 81f05b996dadeabccefcdc67bd9e26a630797142a9ff455ff1fdced2205203c8

Size: 1,893,216 bytes

libcoq-mathcomp-solvable (libcoq-mathcomp-solvable_1.14.0-9_arm64.deb)

SHA1: 369ea9a9d77d8f23a48c1312ef478b55e9cd6a5c
SHA256: c3b74592cbe778aa9f6c4511208d1ee7dea2304a19d636868dd49e3dea7c6cad

Size: 4,612,620 bytes

libcoq-mathcomp-ssreflect (libcoq-mathcomp-ssreflect_1.14.0-9_arm64.deb)

SHA1: c4e435bece7a2c19140ad5064f40c44e438047da
SHA256: b29fd76f9e3e1a77c811152e9318779f25ae9a162db586cc4d080e835ee1dc47

Size: 4,114,256 bytes

ssreflect_1.14.0-9_arm64.buildinfo (view)