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

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

SHA1: f047d334a86b1ebf1d5602a3b656d57d9c9c81e2
SHA256: 13327eb5ef76255d382fc50ae8db07b315edb5a9e79b8608de378925c501e328

Size: 3,159,156 bytes

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

SHA1: 69b6eb1026ce0d6dc11825a5ea84e05c26b589e2
SHA256: abdad489100bcb7079c4a2b999be13987da3fb488bf35c7f5009d25e89348f2e

Size: 6,501,956 bytes

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

SHA1: c06a8e2845469bb582ab41e486e15c8041cda4c9
SHA256: bc61260b1261ac4105556205f16394fb36d447f14a84ae2b504bc416ec9eb1cb

Size: 3,960,916 bytes

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

SHA1: 472c9d3b6da64925abc453e3b91794b8c041f00e
SHA256: c7b37a66c47856e14be91adecf1ace2d7e86da407211b647ab5574f42fa8f983

Size: 2,766,396 bytes

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

SHA1: cbf32e2c64580e161b1745cdeaca71d4a0f248df
SHA256: 084e19112e64fdf053949b1ee21692fe5561301026c36459fa964c0b8e3f11bc

Size: 1,920,656 bytes

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

SHA1: cc1332926906701deab032dbe6f962ddc94066d5
SHA256: b3c32b468c90f99ff269d664a1e04b4ce8b8af9196dc9eeb76ee44e43fbf6301

Size: 4,536,668 bytes

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

SHA1: 375e189802e6a66c110ba8868d16984a8aa36d9d
SHA256: 2a0896ad4e62ac3345243bf69e57469516e6b7ba772162c16a52bde719e1a486

Size: 4,208,016 bytes

ssreflect_1.15.0-1_armhf.buildinfo (view)