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

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

SHA1: b568f550f5c43e569219fc64451e1792c632dc46
SHA256: 77b3da9a8b58dd69332bab4abd26fd29144e4b9e3df6ab8fdcf8f54a64f0ce20

Size: 3,164,216 bytes

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

SHA1: a6609e5096e9cbb1aff5002f9ca20b5de781862b
SHA256: 6a4ecfc857e9dd8bba894866457ac7575bc3516c28eedc6895efc5a80b910b72

Size: 6,458,136 bytes

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

SHA1: 5f346a31477182c71749ee9848a2df634a418d1c
SHA256: 669ce0a29b978d0169375152b3955b59f4bfa9376fea7c0e93630b43e7c6e8a6

Size: 3,970,800 bytes

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

SHA1: 01af8e099d8aa47a6f451aa83ca57fd3d4a066db
SHA256: b83ff4888e8ae15693b6d267421eb71faabd96f30c1cb64c0bf9fd677c764428

Size: 2,799,900 bytes

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

SHA1: ea1c4e26f675f6bed3936063dc3ce12021a6cb84
SHA256: 0c416655a7a84a07dcc596afa54f9b9b108d736891502ee6395f8964577aa1ee

Size: 1,895,924 bytes

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

SHA1: 918a2c761703f2c141e7861c88de131cbe207f7a
SHA256: d000181967eb6f6f98ec38f215c5f2f659af0d2ff21f322ecfe640c189f2999e

Size: 4,616,868 bytes

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

SHA1: fae2a6ea77fd9b73a3263b1453e236d1eb793297
SHA256: ed30e7c5d2d7befb28e12768a00729a1de5cb72d1d9fa0196e808bfaf3ac5be6

Size: 4,179,084 bytes

ssreflect_1.15.0-1_i386.buildinfo (view)