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

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

SHA1: 4388ae0a833de58d233c71222651226bd97b40b9
SHA256: 60cd9be13b8c9f4b957b5736d322535c5d4533945a4cd4c1e4df0ce68a974692

Size: 3,157,276 bytes

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

SHA1: e2ff57818248eb0548948c467d1668fecf50b2d8
SHA256: fdd8018d5d17c6e2fee4c82a69c99e3d664f0a306e4fbb91a6068d8c5d9f68ca

Size: 6,501,056 bytes

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

SHA1: 472a04ee836614fe55658340f1b2600093102310
SHA256: fddc97ad39ba444739a041bef57895e01deb6c57cc1ccc559a55a08694497a5e

Size: 3,959,240 bytes

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

SHA1: dc2e61af7c46dc8f7c433594068c94f1b9005277
SHA256: 9cacd3535fee152a4af3d1104a88275fcd82ffa383cae4d6d8c853dcd689c840

Size: 2,764,448 bytes

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

SHA1: 8c6c337b8832fe42c9f4d521a30a7001850aa8d8
SHA256: 401769fb926aa020b514cb1cf691a031380a222a312aa7905a136db590dbe685

Size: 1,919,328 bytes

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

SHA1: f13b94932dc4d323850f160dcfa6bd08afdadaa6
SHA256: 9dd25652d73006ddc69351694a5dbd8c9fc9ddbc694496c14030527af7120e02

Size: 4,535,288 bytes

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

SHA1: d013b72d29195ab89c31bde4c1b1bff788e66592
SHA256: 43c59399192dac3eb00d5ef8f375ac5a3ed04eca23f6ff453bb5d1182a7ab5ca

Size: 4,207,584 bytes

ssreflect_1.15.0-1_arm64.buildinfo (view)