ssreflect_1.14.0-11_arm64.buildinfo

libcoq-mathcomp (libcoq-mathcomp_1.14.0-11_arm64.deb)

SHA1: 796ff2329c31b66e33fd620c7f27d1f220a14bb8
SHA256: d5f295fd441e18e245c1c42b2e5b0db227047963bf07148d9c990903ab3da186

Size: 3,153,176 bytes

libcoq-mathcomp-algebra (libcoq-mathcomp-algebra_1.14.0-11_arm64.deb)

SHA1: 74cf3aa93070710cd30a0be493cf1511f1e9abed
SHA256: 4c65fa8b8ca8f9351038d419a23c27d0c13023e2513a4b38867377a77c27e9a4

Size: 6,414,028 bytes

libcoq-mathcomp-character (libcoq-mathcomp-character_1.14.0-11_arm64.deb)

SHA1: cf3411ed1f43e966e776ae32bd95c599d4c7b691
SHA256: 5a0d017e5e50bb21e1a5964ab82d15f6f1bbd67279ec24c98d68ac9ac314426f

Size: 3,967,180 bytes

libcoq-mathcomp-field (libcoq-mathcomp-field_1.14.0-11_arm64.deb)

SHA1: b6c1d1bd6ae7c070f8514ce1f64341a5c8c7040a
SHA256: a976642375c4d636f1dad91d9a5061739cfe134625eef40586bca195aa20ed35

Size: 2,795,580 bytes

libcoq-mathcomp-fingroup (libcoq-mathcomp-fingroup_1.14.0-11_arm64.deb)

SHA1: c60f0bd5b3a98c8f4af8498329a77f57c04db7b1
SHA256: 287872438d5df580290f41a2e7106697bfb01a40068f5031d22f5833f9afb9c6

Size: 1,893,376 bytes

libcoq-mathcomp-solvable (libcoq-mathcomp-solvable_1.14.0-11_arm64.deb)

SHA1: c733556b5639977b9cc1b83a82b91bc468b40653
SHA256: 7f3224e1a8b1e002cc6805beee0b92c3593b8f025ee2688bcef6972078f3fb91

Size: 4,612,616 bytes

libcoq-mathcomp-ssreflect (libcoq-mathcomp-ssreflect_1.14.0-11_arm64.deb)

SHA1: 983e92c71b9e1766e22fd845fc05eb23751559a0
SHA256: ddb3c0aef4f6d19018da8beefebd751f338e2c6da9e0af50f3da04b179b6956c

Size: 4,114,400 bytes

ssreflect_1.14.0-11_arm64.buildinfo (view)