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

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

SHA1: aca76bba3781e323a0ea3bf5a688ecfff56addaf
SHA256: c66e59a4322bc0b486a9c0938126d95faee172f841fb151fe81ecb5a9610b01f

Size: 3,157,480 bytes

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

SHA1: 108490f325f1bf4253dcb79518cfa88674a7ca02
SHA256: ee5e8b14a94d5173bb4b7efcb6d85cd3e0c57afb56298b7b38515b832a5a0be2

Size: 6,500,936 bytes

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

SHA1: 5465b1a342beeda1520d4b1978542eca4d2acf43
SHA256: eaeb2729a113b2f5c09d3e47b0df625722168f1b51b01b792fb9600166293506

Size: 3,959,160 bytes

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

SHA1: 7a8af9ad8c76ba81cedff01486ac3fc4e5343935
SHA256: eff79f9aa365e4d960036bcd498bd35c1cfcfe035fbfc0593eb9a8fc61cb00ea

Size: 2,765,312 bytes

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

SHA1: d4f68234ba3e7aff7bab7ba9165d2efd3d03f0b6
SHA256: ba119bee87c800e74c1a25f995a9f962f9c27188bc334cd2e0fba8e40a6f4120

Size: 1,919,128 bytes

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

SHA1: 85f71cee3bc37dec5de651ec03d33ff3b9087696
SHA256: 3b97aa906e1bc17a7860e456b6f7aa106524fb0e3d782c677c9743bbf336b271

Size: 4,535,292 bytes

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

SHA1: da16a4a1621e0fa9bf257efb9279e3a29f951bac
SHA256: 7c7a7d95c615a287a90b07469b6fb31e6bc6827f37d71ce61e4ba3f531a7c5d1

Size: 4,207,268 bytes

ssreflect_1.15.0-1_amd64.buildinfo (view)