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

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

SHA1: a5230b8313153b180328efa1d333dc69006d615b
SHA256: 75ff8b42f57573fb04369100b67a867d2d8afc43361efa7c96597a1b9ef3bf80

Size: 3,152,624 bytes

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

SHA1: 358087ef1c6c52f959df78e0da99514d1d33749e
SHA256: a10086801ef003f4f06ac23a753507076beb14ff9c5bda50611f88456b724921

Size: 6,412,908 bytes

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

SHA1: 0b194b88d16691d5ebbc0496d3f88181838ad815
SHA256: b0dd9b2e3034f847281c0d8e8155255108b913c64a0b718436abddcc5c8f5654

Size: 3,967,208 bytes

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

SHA1: 6a0aec1a75c54c9dc9234b1d1db632a483eb3abc
SHA256: f1480bde977a1b67eeb6eb5c8d28345cad23486f6413c79007fd135810ee80d9

Size: 2,796,056 bytes

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

SHA1: 8dc9b7ba90db15d318effab7ab10e48ca43e3865
SHA256: a9c07d84cc61842fd24d616c81b31785d6c055d38663238f12c88d1a70177fa8

Size: 1,893,100 bytes

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

SHA1: 27ed3c1080b59d2b7ddf4ecffc98966983eb1745
SHA256: 8651e9b7817a65dc5045696321e713a1dfdecfb62a4ee8cee940af6cdaccb5f6

Size: 4,612,552 bytes

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

SHA1: f385f9655d151f5bb43b46723740a20caa3b8cb1
SHA256: 82067aad90750db262fe9e8a97826c5a1e3ccf4a9d493ca8811ec85c2cb7828e

Size: 4,113,944 bytes

ssreflect_1.14.0-8_all.buildinfo (view)