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

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

SHA1: dfa558b96b48966cdda2dd880c74f58e6cf691f2
SHA256: db37dfe6f76fad5ff65764d01e15846829232ed6ce0ded63d353d0ac21e43c46

Size: 3,158,712 bytes

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

SHA1: 4711b1bb76a21f2d30699219df588921aae7167a
SHA256: 277459f7bc0d738b163db61df9fc39563fc97d6ed3d9ef0a7905ebfeaa12db3e

Size: 6,502,316 bytes

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

SHA1: 4c451eee9f10a82c36aca1915427135b364b124e
SHA256: fc21ad761e3c264eff298bf67d544181b3aaea7daf3e631c513c0c9adf62c88b

Size: 3,961,576 bytes

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

SHA1: 32253d8d43ef1ab8b896eeb486489bc829fca6e6
SHA256: e06e9528d76ca63b6f1c5505e16e1ee07ae11acd39f55a5779da1434e455941c

Size: 2,766,412 bytes

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

SHA1: 6cdb6f2bdc9a34349722d5849cf9e7f34df6ebb6
SHA256: fcd4b838b300d2f6644c837a384565a9ce872a205dfc8f5369d7df1b60ca8453

Size: 1,920,972 bytes

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

SHA1: 99317da14eb3bbc121d6d37cb74b2542e03e74d7
SHA256: b3cbc94311675e9e55540d5a9337c8f39c8fc8094f6245be110c7d9bde73d196

Size: 4,537,244 bytes

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

SHA1: 883354da4e0995f586fe229b3759f731dcf58c8c
SHA256: d34965c499afcfac470dceda08d4329e5699abc8ef287b2d9025a28bf1aae0c5

Size: 4,208,588 bytes

ssreflect_1.15.0-1_arm64.buildinfo (view)