ssreflect_1.14.0-10_amd64.buildinfo

libcoq-mathcomp (libcoq-mathcomp_1.14.0-10_amd64.deb)

SHA1: 79c3a892393cb7dc44fdd74cfbc880bd1d7ac5c4
SHA256: 3e2da29d53f3d60bdae8412fbba9639b0527efb67ce9aeba9e0c1dd42a31509f

Size: 3,152,560 bytes

libcoq-mathcomp-algebra (libcoq-mathcomp-algebra_1.14.0-10_amd64.deb)

SHA1: 7782ffc31728cf223cf7488df45eb01842d6b2f8
SHA256: 4fa538dbdfe9725f70f0d1f4eec84998139d3692d39edd78bdf3474b142a24de

Size: 6,412,768 bytes

libcoq-mathcomp-character (libcoq-mathcomp-character_1.14.0-10_amd64.deb)

SHA1: a13b80a56bd02bbd4d1780334955aec5c5878d44
SHA256: a4fa1bb3459904188cefa4006995bbcea60f971dcad9bc2c3223ad33a1d6c876

Size: 3,967,992 bytes

libcoq-mathcomp-field (libcoq-mathcomp-field_1.14.0-10_amd64.deb)

SHA1: 52205b53e3a9bca64e81af3d5a033e1cc5c167ed
SHA256: 38db27b5ec7bae2a0f28909552ebf1a3b94248421d7dcf1980c3fe5f33636674

Size: 2,795,368 bytes

libcoq-mathcomp-fingroup (libcoq-mathcomp-fingroup_1.14.0-10_amd64.deb)

SHA1: 57f77ccdd3429670106b681d67156acd1769262f
SHA256: bbc6096bc5c5441dff59ecb1ccbb911efb09f76b831ff2e10649b012ac55a708

Size: 1,893,440 bytes

libcoq-mathcomp-solvable (libcoq-mathcomp-solvable_1.14.0-10_amd64.deb)

SHA1: 16c99d9222590b7cc76982c9caa306642c569bc8
SHA256: ec70d18bd9eaf51c374be7cbb34d98d50337f60d31a11020bf78b3a500c70d66

Size: 4,612,308 bytes

libcoq-mathcomp-ssreflect (libcoq-mathcomp-ssreflect_1.14.0-10_amd64.deb)

SHA1: 3deee19689757dc2696a03fbccf6c95d6a54d01d
SHA256: a7d6605174fc6c5b3cd482f604364daa668e42211e504fd3a987c723224f4bcc

Size: 4,115,052 bytes

ssreflect_1.14.0-10_amd64.buildinfo (view)