ssreflect_1.14.0-5_all.buildinfo — buildinfo.debian.net

libcoq-mathcomp (libcoq-mathcomp_1.14.0-5_all.deb)

SHA1: b7cdf3294cfd855eb0da2b4e6529610b82244941
SHA256: 3351bba886521a92ccce1131b6a43d8d49c05e88a646d0759c57ba05d540f45c

Size: 3,151,876 bytes

libcoq-mathcomp-algebra (libcoq-mathcomp-algebra_1.14.0-5_all.deb)

SHA1: 10eb5e4cca33dc77fa133e0457eeba462a3703dc
SHA256: 8eab7b7b18de2b810564c6920b5af09557d6c4db16b22a37c8b0e82004fc6840

Size: 6,405,344 bytes

libcoq-mathcomp-character (libcoq-mathcomp-character_1.14.0-5_all.deb)

SHA1: 2c5bd01cc13f2f2bb88bf6e993ac9ef1f56ce268
SHA256: 4e73d7ec7c6178f7d050d38fe2ec47f1ed4c2d1fb23e02121741f73d6852eaa6

Size: 3,967,208 bytes

libcoq-mathcomp-field (libcoq-mathcomp-field_1.14.0-5_all.deb)

SHA1: 6c35e4c707367e28107c31a29ecfa7e58f66cfb1
SHA256: a44e2969347b303ce0bf9f886fa80ffee8b533e29c4873d4c7e851a1811342b0

Size: 2,795,628 bytes

libcoq-mathcomp-fingroup (libcoq-mathcomp-fingroup_1.14.0-5_all.deb)

SHA1: 47cc9108f087ddedf06649d34fc3e0545f8c3f7d
SHA256: 69fb118b283c561da9c6bc01d01063cc8858066b191fd839569c23c68db207ca

Size: 1,892,872 bytes

libcoq-mathcomp-solvable (libcoq-mathcomp-solvable_1.14.0-5_all.deb)

SHA1: a425f65edd709bde863435815ce1f3c5740f71b0
SHA256: 7b2bd7136fd0793d4b9e32ce4478d3370db971cbe0362b99643aecc127beb8e7

Size: 4,611,620 bytes

libcoq-mathcomp-ssreflect (libcoq-mathcomp-ssreflect_1.14.0-5_all.deb)

SHA1: ff84c7d8d91547aff44cacd5ef0d11d73148d36f
SHA256: 17c11beaefbcb8004ab48d52edbfe5473b258eb5e0bba9eda2e133a35dcba039

Size: 4,110,268 bytes

ssreflect_1.14.0-5.dsc

SHA1: de6cf571c0c9fc027de3822997f96c9e1b16badd
Size: 2,592 bytes

ssreflect_1.14.0-5_all.buildinfo (view)