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

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

SHA1: e45aa4f87a67a368b1c7cdae361b02495abc015b
SHA256: 67554f5bcbb1bbe16e5f1d6ca9e3186cb4aefb89d7cc27ae91f1ccc845d488f4

Size: 2,867,336 bytes

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

SHA1: 09b16f8bce2d4f3a41bde4f9226bc02efc6df1b8
SHA256: 67cfee4e1157ba32c9ed1f166e60737fb818421f902355a8b04f5f7e5f708d3a

Size: 9,033,216 bytes

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

SHA1: b63aa5c8d56609961657b5ec1dd88b5f747ce2dc
SHA256: b579c27f4ed0d31c1e524b989543f85fe9cf5263dd78a272954693cd8f7eafec

Size: 3,941,324 bytes

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

SHA1: 24d43065c374095d5f360918b9443de54a911f36
SHA256: 8af28c1e174320a026d026f2fce79e0182e94db0d67f6f48e4168476a306f90c

Size: 3,040,636 bytes

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

SHA1: 63e916d227fd681c474de9dc9e6bb5be2ca75601
SHA256: a66e55587fde5063bb29e2d790b80493bf85326d777c5b492acb42463e014cf3

Size: 2,020,552 bytes

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

SHA1: dfef59ef2ea3eab89c71a1e7901a61ea31eef00b
SHA256: a619a9b3c81f6a0fb958caa743df76fced016151318b914c0ebcc536b8cdd738

Size: 4,657,352 bytes

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

SHA1: fb93e9e0c3e24bb803e7ef6b76edd1cc6b8aaa7a
SHA256: 27fd0e30744fb1c51500c144284ef78fe241b2000bf2ce2df4366e6d901ea136

Size: 5,796,928 bytes

ssreflect_2.1.0-1_arm64.buildinfo (view)