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

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

SHA1: fba6ae8036d6db5e4603e750cb1f756abd2b1260
SHA256: 4bacce3cd440273da37acadee161388b63be0bbe6b2c23b687d0ab773535a3c3

Size: 3,164,552 bytes

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

SHA1: da4819a9b1b0de420c96b85e3da63dd037a6ea98
SHA256: 11911348ad3a129c9e8aa384c179d94d26a35579646df99fe9c16c23523246d1

Size: 6,459,632 bytes

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

SHA1: 26a01ac0854f5b1e4edcfe9deaba0ec8984ea58b
SHA256: 63f92d3bf9dd8e2f792cdf778cf9d9c6e0bfde26fd46f4933ce7617b8c124dbd

Size: 3,971,380 bytes

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

SHA1: 96c91dd77d844570186374e0d8df2fec709affa2
SHA256: 1ed48c9423f6405433acbd27a6264707354819d13588038d55076cb4294d44f8

Size: 2,799,688 bytes

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

SHA1: 2155c1f9d4499fde7f836b649b1744131dccd619
SHA256: f8f4a69478612bef1dcdd5a0fce8e1bc6d287f53a6aabf18dffc2e05e6273209

Size: 1,896,316 bytes

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

SHA1: bdb7040273665bef95eda2607bd8f001335f17dd
SHA256: 5fbd0460012d8d94993fd273f73c3708a4f2f829f541c15655cf3cea2783d8a6

Size: 4,616,532 bytes

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

SHA1: b753832c6c804c0a9fa1243e82e0d49bc2ba2b80
SHA256: 745dca8a0a16ae6029727d5c69525691a4d181592d9ad59b9919ab8642379d90

Size: 4,181,160 bytes

ssreflect_1.15.0-1_amd64.buildinfo (view)