ssreflect (1.15.0-1)_1.15.0-1+b4_arm64.buildinfo

libcoq-mathcomp (libcoq-mathcomp_1.15.0-1+b4_arm64.deb)

SHA1: afd38e3b7ea88ebd313bf56e0da768071c5f912b
SHA256: 08784f569d422f5f5c875ab374c526abd3a271289c458c3218429d62a6f421af

Size: 3,157,712 bytes

libcoq-mathcomp-algebra (libcoq-mathcomp-algebra_1.15.0-1+b4_arm64.deb)

SHA1: e84c266b90c71deda5755d5569d4daf3bb4b49c3
SHA256: cfebf2ead3b4f2abfae1819559a8aa97c8a0bca5b43eefe4e42e8a3adba6e350

Size: 6,501,116 bytes

libcoq-mathcomp-character (libcoq-mathcomp-character_1.15.0-1+b4_arm64.deb)

SHA1: fec907f3a06c79727419a5ca3a0286c9a242b093
SHA256: 4e8d87b43fe8777b9eede05f5dded56556859fe0e5a25bf008ea8d447eacc802

Size: 3,959,668 bytes

libcoq-mathcomp-field (libcoq-mathcomp-field_1.15.0-1+b4_arm64.deb)

SHA1: 9d63cbfc5f13309a32e26910f731bac4ca050e89
SHA256: 8b774db16bff3384f4776d9c55e46f61636528ce3626e42493c702cc5a503fbd

Size: 2,764,656 bytes

libcoq-mathcomp-fingroup (libcoq-mathcomp-fingroup_1.15.0-1+b4_arm64.deb)

SHA1: d1731bffccccbf31084f4e28d4cf128783a44297
SHA256: 6557d6808fa303de58727520527ce3f5e0e1cd8a6b3a13056d224a5a4fe4b644

Size: 1,919,688 bytes

libcoq-mathcomp-solvable (libcoq-mathcomp-solvable_1.15.0-1+b4_arm64.deb)

SHA1: 2f35922794048f4be9547dc2d1c88e5d4553279c
SHA256: cd89d2d396d6c7aed47f30a0b758c72a464470b0da6dcbb165eb135f79e49702

Size: 4,535,188 bytes

libcoq-mathcomp-ssreflect (libcoq-mathcomp-ssreflect_1.15.0-1+b4_arm64.deb)

SHA1: a85511d898ca6477ff31a1fdf2efe4e1510d8eb3
SHA256: 0618d0807fecaab98e02877219ba18bfbc6baaae7d76b252ede4fa51955726df

Size: 4,207,916 bytes

ssreflect (1.15.0-1)_1.15.0-1+b4_arm64.buildinfo (view)