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

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

SHA1: dd0761455e05e7798a965d9f00937c2da64d58fc
SHA256: 22f8cee8fc3bac7fd6191bf00decfa817e9261e9c75d5eec542f4477963edc5f

Size: 3,157,428 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)