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

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

SHA1: 5c712fac32ed8fc6357c855a513cfc20b7e1d544
SHA256: 01c4cc313c3b664e2af86e52537eb7ca5a2613f0434d0b9dc677695f6decc428

Size: 3,270,372 bytes

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

SHA1: fe559699b4754ec2ad9684c0d692af2d7b061cb4
SHA256: 130646b2d54efb0f44f24e5811e49f13816804df0104da6e8f717b63d13189a9

Size: 6,685,068 bytes

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

SHA1: e3377dc2e265f6dbb3ce752fea5149c106ef8dd9
SHA256: 6b7c8943f7de159cd11f3f63ea6889e50d096ab2f308d25a23d7f5d80a44a14b

Size: 3,965,872 bytes

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

SHA1: 0b3b9c72288aba336ef6e56f196edca3b82c56c9
SHA256: 5471641b644accfcffceaeec28af5c486706010cfadb25068e3df3cda2d8cfa4

Size: 2,770,424 bytes

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

SHA1: 5d63d6b1252e6ef0c4f039e8a9e29507394a1f38
SHA256: cb9d00021eeb99259b70efff1e9a794328601e9342b43bb796343837255bdbfa

Size: 1,928,948 bytes

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

SHA1: 6ddacb66871f93b549b24ed6c20d8e08bab4a6d0
SHA256: 87b103c6ebe13174c1e4067e1330b5d2f621374e5655792123f2ce0459d5c867

Size: 4,538,640 bytes

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

SHA1: 33d0a8ed071a3011806cd7e0a9aa705890a4fce3
SHA256: f87f875dddd3a48c3890c16b0c011d8cbd9888a63019217287616211e8565404

Size: 4,371,528 bytes

ssreflect_1.17.0-1_i386.buildinfo (view)