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

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

SHA1: 250200098bd78bb4c2dbe0f71cc57033397a04ff
SHA256: 993769153de856e44422c8240b3958cff4e7d94c9a3db61de80ada5a0c7b99e1

Size: 3,270,856 bytes

libcoq-mathcomp-algebra (libcoq-mathcomp-algebra_1.17.0-1_arm64.deb)

SHA1: 5356d94007c42a81df2b313d184d8277743e34f7
SHA256: 7ae6d537f97255669789d704aaf438d5e15b307ca681d07e189103a9d624e17e

Size: 6,685,944 bytes

libcoq-mathcomp-character (libcoq-mathcomp-character_1.17.0-1_arm64.deb)

SHA1: aa362045619a0cc76140866ff18ba245aa0e5297
SHA256: 6fc10dd4506185b874ce0e1ab2d12071e33ef44141517bc7c65fed3fbc6572f9

Size: 3,966,320 bytes

libcoq-mathcomp-field (libcoq-mathcomp-field_1.17.0-1_arm64.deb)

SHA1: 00b3b32bfd61e92106578e6df79182659d21505c
SHA256: 5c97dcc2f948862780245a502d05b2655613055a498ce8793eb234d97a6a45e5

Size: 2,770,640 bytes

libcoq-mathcomp-fingroup (libcoq-mathcomp-fingroup_1.17.0-1_arm64.deb)

SHA1: f244ba843b5d9338dfb4b7184e10a876e7d64637
SHA256: cd268a0659907acd68ab1539be4edb725d6a4a3b3e2ddfd6ce180d6593296771

Size: 1,929,056 bytes

libcoq-mathcomp-solvable (libcoq-mathcomp-solvable_1.17.0-1_arm64.deb)

SHA1: 4640af002763829e06de62c37dd0f032a4e4129e
SHA256: 92d531a960bf76b7e57a6a2df5938f91f263dc8ef28b5e47b4f8f83ef465afd1

Size: 4,539,888 bytes

libcoq-mathcomp-ssreflect (libcoq-mathcomp-ssreflect_1.17.0-1_arm64.deb)

SHA1: 9934a3a3030492b98bb056e359129db9f0f5ba6b
SHA256: 2f94620fc2494e7937abfa55559e18c0e880859399cb536df67fda04e2777960

Size: 4,372,096 bytes

ssreflect_1.17.0-1_arm64.buildinfo (view)