ssreflect_1.14.0-11_i386.buildinfo — buildinfo.debian.net

libcoq-mathcomp (libcoq-mathcomp_1.14.0-11_i386.deb)

SHA1: f4be46acc5faf0ffc1223a9657c4d8a70f84a659
SHA256: e538f1743945d4bb0f1dc9420d14ffe30770e7758b5ac407839928b6acd52c9c

Size: 3,152,624 bytes

libcoq-mathcomp-algebra (libcoq-mathcomp-algebra_1.14.0-11_i386.deb)

SHA1: 83cd22eaa4e7e8268d36e2fa1c4c8bc1f6a451bc
SHA256: 5ff3660fb1fe2278f3b0add826086f81875f6688f3494dff288ad8e804ad15cb

Size: 6,412,428 bytes

libcoq-mathcomp-character (libcoq-mathcomp-character_1.14.0-11_i386.deb)

SHA1: f9b4a79bd90fe1dc4e09fdd7bfc3d5dc0807861e
SHA256: 07b917c1a63161a76e67a8f5f7e315c417ae7c7610532207c4a353848a1aad59

Size: 3,966,884 bytes

libcoq-mathcomp-field (libcoq-mathcomp-field_1.14.0-11_i386.deb)

SHA1: 5a99486e363d6a7afa090c4765fa0021cd290492
SHA256: faf2099d38c3502a33bd04e4f20b0307aa9ddc3e009ea79a4281aeb7dc4b38a0

Size: 2,795,072 bytes

libcoq-mathcomp-fingroup (libcoq-mathcomp-fingroup_1.14.0-11_i386.deb)

SHA1: 56c37c3f0c1b2ae8ff2c46550a3d78e0395e183f
SHA256: 4ca26d65bad0c0c6f19f0bcdac788132f1a24d699ec548e664ab456add60078d

Size: 1,893,060 bytes

libcoq-mathcomp-solvable (libcoq-mathcomp-solvable_1.14.0-11_i386.deb)

SHA1: 5700596e7f10a0100f2e5337c14a9c567e102a75
SHA256: 4ac83808bcce140072ccf8e70960c5ed2e26cd2d57c83d0e1ec829a1bcc218a4

Size: 4,612,400 bytes

libcoq-mathcomp-ssreflect (libcoq-mathcomp-ssreflect_1.14.0-11_i386.deb)

SHA1: 89363f23519f8a202171d079472378f8aabc2591
SHA256: b4d59d9f336a2aa7af49b39c87ea03048e68e7b18844fc6ad99564b46a720fb5

Size: 4,113,036 bytes

ssreflect_1.14.0-11_i386.buildinfo (view)