ssreflect_1.17.0-1_ppc64el.buildinfo

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

SHA1: 52ad7ea88b26c30f87a0642754387483d3516b6f
SHA256: 22d5d7a63f1b175b9474e618daf2295c9503d366ef0b1ffdab485c62c7379658

Size: 3,270,852 bytes

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

SHA1: bc9e498b7787ee6806aa2e07ce59b081168b20d0
SHA256: 9e96ba0c0b87ee5835e2542e006bdfb3d0c1f1673fb6e58c2899f4553ae7315d

Size: 6,686,184 bytes

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

SHA1: b8efbf64d76571d85da039c422e780c5fc0ce936
SHA256: 2395b3a3ab7245689ebe039b445bf4afc004532c661ec76abdb4a7446b447158

Size: 3,965,668 bytes

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

SHA1: 8b2773243abe58a6931008e658b27a7cdacc1229
SHA256: 37e80b1f4b218d64085e8b601c7e162ff756120ecad493001e77a360ee13ca76

Size: 2,770,428 bytes

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

SHA1: 1b022e870a1ee179d8af04d46f69788d90712536
SHA256: 400cacce7bea763bf3a272a6f95eef1f861dbe72bb6252823328af2a43e7d19d

Size: 1,929,444 bytes

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

SHA1: f93d189a0a1d41fd4b0f749467b6c40b0562f2d0
SHA256: b2f22f32bafca231dd943f07099d1949619cdc4699dd794a3271f2587568ab6b

Size: 4,539,608 bytes

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

SHA1: 6daa5cbb7c48c7042e4da2528d7df3e835946153
SHA256: 141ec4828ad4a334658db60d82fdd20e9ffb36207c3f735b9f87a2ae3b516f08

Size: 4,371,348 bytes

ssreflect_1.17.0-1_ppc64el.buildinfo (view)