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

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

SHA1: 115b9d728b68a98dabfc5ccf8c0805ad5d400109
SHA256: 17827be9156ab7aee84531406f25340fe7cbe616c9a9d54ae8bb891e2e4623a3

Size: 3,157,180 bytes

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

SHA1: 24665d3e59938971f894a5c84f1b4bce31fb6d2d
SHA256: ef7531ed914778697f9ce26919b88a723cbc202450d13940025a77a5eb0d9c7b

Size: 6,500,764 bytes

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

SHA1: 715b9995458f8cb3d429926be686e8252c261f0a
SHA256: 865fe379e08037b69e14b5c79d3e6b2bb2dd4615f3575bcaba9cdad3a645576f

Size: 3,960,048 bytes

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

SHA1: 094801ca1b2605aa11180863da2ec140640afebe
SHA256: f151563a7418463df3b929c1799fb0d2501d888ce3af57f65857659abfef4216

Size: 2,764,892 bytes

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

SHA1: 2d3f2f3f960a813ad85439063b6e717e86a9e775
SHA256: 966fb354a94144fedc335c121b92fe975a19e186d49c26f2f60c79c77121238a

Size: 1,919,448 bytes

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

SHA1: aa24adc451ac75908311f13c0c52cd7349fc974d
SHA256: e3b86f256e1a560fc8721ab4c2fd51c2e39570639279b083cc8f2b9e51973b0a

Size: 4,535,700 bytes

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

SHA1: 26da1307f01213dc7d6f98e19997348289323f2a
SHA256: 5d32e499e97844e699566b1f4ed8d84059b56c812235e883708041767832402f

Size: 4,207,056 bytes

ssreflect_1.15.0-1_arm64.buildinfo (view)