ssreflect_1.14.0-12_amd64.buildinfo

libcoq-mathcomp (libcoq-mathcomp_1.14.0-12_amd64.deb)

SHA1: 573bb377b1a609480323fb0c35885c91e14b89da
SHA256: 73e609f99b839acc9651e247a330954c1a143e4be64e905ac55e0552e6a4707d

Size: 3,153,028 bytes

libcoq-mathcomp-algebra (libcoq-mathcomp-algebra_1.14.0-12_amd64.deb)

SHA1: dd129020b385e357b56ff38436b42ef38da48aab
SHA256: bffd30982a1fb6a0bfee4211e4b09e95008cbb08372a4f00dba30e9a475bda89

Size: 6,412,756 bytes

libcoq-mathcomp-character (libcoq-mathcomp-character_1.14.0-12_amd64.deb)

SHA1: 9608747cf8934d55b2cd8a8c6f3ef68e5e6abcff
SHA256: 39489f1c01f232106ef6ee0cd129222ab30986f136a76818776649b37713fb07

Size: 3,968,080 bytes

libcoq-mathcomp-field (libcoq-mathcomp-field_1.14.0-12_amd64.deb)

SHA1: 1b9beb9d25cef14ba8312895d631a4b3b5c4203a
SHA256: af5ace28f5730339439133d863a77595f294bed1a34600cab7cd55a762490704

Size: 2,797,296 bytes

libcoq-mathcomp-fingroup (libcoq-mathcomp-fingroup_1.14.0-12_amd64.deb)

SHA1: b0576d597548655609eb0878b34957d4486ce733
SHA256: 4e8e217199c354403e7df321033887b69a3fc827acf99f149159dac49b9e6981

Size: 1,893,300 bytes

libcoq-mathcomp-solvable (libcoq-mathcomp-solvable_1.14.0-12_amd64.deb)

SHA1: e90167b0f6c29a1942a08599c7ce74a23fcdca57
SHA256: e4f30113e7a995d0a2a1195ad1ee78e405f00656d6955dc50e087fa955768508

Size: 4,613,180 bytes

libcoq-mathcomp-ssreflect (libcoq-mathcomp-ssreflect_1.14.0-12_amd64.deb)

SHA1: 95af57e8b4f07e23c7c55b129c02d37f44e5347a
SHA256: b4280fcf1a2bf1380fc494ed8a54a0c5b4e40abd1794d101b89fd0c1df99f446

Size: 4,114,172 bytes

ssreflect_1.14.0-12_amd64.buildinfo (view)