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

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

SHA1: 611b7d5b619c400810dfb91790d031bd75f08590
SHA256: 11bd1700005b13003122631c82ec2dda5267317f312684ac9e9b96f6cd7734f4

Size: 3,157,532 bytes

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

SHA1: 87db09eb09213067068b1b5833ebf6160084bb06
SHA256: c03d6b1286791121b16ca6cb91bdc29440c8148351c877e62999bf071209de48

Size: 6,501,988 bytes

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

SHA1: c710133ca8538dce7dac40c4af9e2da036e09532
SHA256: 12a2d6b04127c9abc13b100e2bd0325d3a390f8cb1f697b8bf5b8a805fdf67ab

Size: 3,959,364 bytes

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

SHA1: bbe0b258d246415325117f62d0aae1757407a3d9
SHA256: 2f6a842c5cc5826db76151fdfb8f2523fe274c83397246bca69fb5937b02d24a

Size: 2,764,288 bytes

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

SHA1: d6c8fdfe260e7103dadbab2a932df46b5986f0bc
SHA256: b1ada169923b20d0810dfb7d98dd3a2c87df1baffd2c7026cbee1877c6ebce22

Size: 1,919,272 bytes

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

SHA1: 3f1a5b1faa391a0378bede5993a90c1cb3db5c29
SHA256: 8a210f13f616f734bdb71a96df3a064c40d42950ad45f040baa35347952eaf55

Size: 4,536,192 bytes

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

SHA1: f23634569775ed4f89108c4bc1478b2a16d71539
SHA256: 859a638fba12b1155834c294a5d76dc07fbaf5204da46c5660a67cf92d2e790e

Size: 4,207,272 bytes

ssreflect_1.15.0-1_arm64.buildinfo (view)