ssreflect_2.1.0-1_arm64.buildinfo — buildinfo.debian.net

libcoq-mathcomp (libcoq-mathcomp_2.1.0-1_arm64.deb)

SHA1: d1a5f0a85ff23adef9ee716aee5484161784d61a
SHA256: 166fe9a2263653113c0e27fb21475d317ce71bf19fce8b57d97f32b754388c05

Size: 2,867,456 bytes

libcoq-mathcomp-algebra (libcoq-mathcomp-algebra_2.1.0-1_arm64.deb)

SHA1: f1fa93e8fd67d6eca506fd74f525305ddf5aa01e
SHA256: 63246e8c952dad8ea4c390b488f354f0e5c26b9f6fece996bd3f7dbe05a0d89b

Size: 9,033,224 bytes

libcoq-mathcomp-character (libcoq-mathcomp-character_2.1.0-1_arm64.deb)

SHA1: 80a30e95e8dee49cdef44c7bdcabd616de8132e8
SHA256: 032b91a6fa5f0e734ea1aa889394b1fa21462b1ad554239dba6d14e6c6e95111

Size: 3,941,308 bytes

libcoq-mathcomp-field (libcoq-mathcomp-field_2.1.0-1_arm64.deb)

SHA1: 9d4dcad9ab229ea92f2a3ba64fb1efca517fd786
SHA256: 319b8e15ebed143de99f05a6a25c08a491d76746170db0fb37964849b0f3866e

Size: 3,040,716 bytes

libcoq-mathcomp-fingroup (libcoq-mathcomp-fingroup_2.1.0-1_arm64.deb)

SHA1: 046d6a9787fd4825e53a03afb61a2e7935e9a6a2
SHA256: 636d241e3d99c14a4c6e1ca0434e07fa8cf014ccfed5414374bb2a392fe18697

Size: 2,020,148 bytes

libcoq-mathcomp-solvable (libcoq-mathcomp-solvable_2.1.0-1_arm64.deb)

SHA1: 8f9e8ac518ec3f9b436de98a72fe7017e3d4143f
SHA256: 8680e12637badd9cefc6063a75166eb87cde9bab1c4f2a23b596d286e1b5cac8

Size: 4,656,592 bytes

libcoq-mathcomp-ssreflect (libcoq-mathcomp-ssreflect_2.1.0-1_arm64.deb)

SHA1: 16fc752c444fd6ffdab813595598294500c01c51
SHA256: aaa5327180d2c2ed078a1846d2fbbb492e464d38ef1b01be0785752206658eea

Size: 5,796,132 bytes

ssreflect_2.1.0-1_arm64.buildinfo (view)