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

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

SHA1: fdee928b4e2526ca8990f414ba7b53a11b56f907
SHA256: 9177859809af5cd155a9b8ff952d065b99c0fc79558e2df8d0fb744f2b6cc254

Size: 3,164,420 bytes

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

SHA1: 005d46022d6d122d274092de53ef010da579fc43
SHA256: 514fa87df99cab18cb2c9350e128a2300a733d94dc97d940787957db5b3d447c

Size: 6,458,136 bytes

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

SHA1: 52e8c644880b1e947882f7bfa44b6cfed613708d
SHA256: bb6cfb5dc2f9fc2827d376ebecd67892c0d635239e4da11c38a5535d5336c25c

Size: 3,970,800 bytes

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

SHA1: 6480d17398adf83f1f6fddc682821869d7ab6b1a
SHA256: 7b516953ae513af645fa32a11e33633e3ac3a61d40b65908b4eb3cf579e8d739

Size: 2,799,896 bytes

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

SHA1: 9a49b8ec68237b1b0f83968a5fa8477b0d56b97e
SHA256: 7ce4834056da1bd632ba05c0ae4d41391140fdf5fc0c2872681630b840776e06

Size: 1,895,920 bytes

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

SHA1: 2b060b3b3dc79f794dfb55296f12b3c4834b6b5f
SHA256: 9cf0291ab4fca411ac507b3deb75b6843456af8cae06b22e68565f0d98ac9006

Size: 4,616,872 bytes

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

SHA1: 4f6fc209893c64788daa6e6bbac542634c7a7802
SHA256: 28b1d06758aaacd1f25e394399ca479fdf932f05ed8d3ac155aefb835c6386f1

Size: 4,179,084 bytes

ssreflect_1.15.0-1_i386.buildinfo (view)