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

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

SHA1: deeacdb4b9c1a1eab5dae4baf0878b28ee409392
SHA256: 067caf31bafd7f43d6d060fbf0653b84a369a23fd6abbefdbeda1edfc4f0397a

Size: 3,165,764 bytes

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

SHA1: 8177c807977dd86e47476d3eaeff494af9588fd5
SHA256: 0dff1093596fd5bfd654dfb8540a26733d88f3bef23303fb89899c50b0fa9087

Size: 6,458,216 bytes

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

SHA1: 0ae07c34cbcc7358f79c29496439b63bc0781d8b
SHA256: 70afea8c75dbcc2b4b6754c77d036b56035e833a2c701927ce0b1bdba32c18c8

Size: 3,970,628 bytes

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

SHA1: 2a97aa6509713f784c44f7862029ff219ad36988
SHA256: 21cadf82e2efe27c4338ca3c64aeab276eb79cefa266d7158ee4c24f507b182c

Size: 2,799,568 bytes

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

SHA1: 1ba019e18ef8d2bcd2405b9a51f4f95533ba74a2
SHA256: d7204e049683cf9afc4498b729d736f7792d8aa69d4d4d80e3e5d18276bbcdc3

Size: 1,895,780 bytes

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

SHA1: e62fb29659331d2647d6a16c43355ebce9898033
SHA256: d7888f0f6c6c74bbe1a31320849b1f2f7d81ccdb6dfa39adc268631f56913ce3

Size: 4,615,808 bytes

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

SHA1: 2df6cdaa1142cebe6a742ad768480b07ea202626
SHA256: ffc0b7f1cb57b1645ac606f789c868c1752c973b4204292e98f0c4477432b913

Size: 4,180,220 bytes

ssreflect_1.15.0-1_armhf.buildinfo (view)