ssreflect_1.14.0-11_ppc64el.buildinfo

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

SHA1: 1d28d0466dced64f563b5361a861195e2305e35e
SHA256: 2f22237e5de82684e486f98b89a3b920eaca4689fe9a8af4f713e0027a940c6f

Size: 3,152,684 bytes

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

SHA1: 4041a3d9b2c1439aa00e3640197a04f468bee7dd
SHA256: 8ba5d571720a2e9db6d48128a581a146d819bb63299c395226e66f9be5f35264

Size: 6,413,152 bytes

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

SHA1: 15aa694f98acb779b726625379b53b739bb3968f
SHA256: 28fca1b18760eec0c419221bb54f08d7a5b403c8b5eaf24446616b12a8bb614c

Size: 3,967,600 bytes

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

SHA1: 5dca750203856e8f30e38f58f3186f753b1f05f9
SHA256: ea8fe449ea9ddc6d7ff98c1a79515e7aa57db4c7cc393e7b96bcf0d50afbbb19

Size: 2,796,128 bytes

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

SHA1: 8fc95da98225b80e9b4b7a94033d6693b29544bf
SHA256: 4e6cb8e4478592abd8cc4a894319b1cac679879a74b434e92825a687ba4b53ac

Size: 1,893,004 bytes

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

SHA1: f8015de5696908903b45a75f67d1ad6cfbc8a8b3
SHA256: af4aa26de4a94fab906d1700bd9484ddb1979ac1445be8ca0a829730e2e4b2df

Size: 4,612,680 bytes

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

SHA1: 882744f9c3d83faf887133a91ec603f880338a0e
SHA256: 56eed691aee1a24e412a84d847e01e2c3d6ff431df086f151be6a7b7b7603f58

Size: 4,113,932 bytes

ssreflect_1.14.0-11_ppc64el.buildinfo (view)