ssreflect_1.17.0-1_i386.buildinfo — buildinfo.debian.net

libcoq-mathcomp (libcoq-mathcomp_1.17.0-1_i386.deb)

SHA1: bda860347461b635f62462ef10dc199b7a97cacd
SHA256: 555df2742e7144b2aa5e9d8290ecd785c438e24e2af2dd4b667b0b03fcdfdb86

Size: 3,270,080 bytes

libcoq-mathcomp-algebra (libcoq-mathcomp-algebra_1.17.0-1_i386.deb)

SHA1: 27032abc04498dc54a8de73ca9b28df6de8675a3
SHA256: dedf920b43aa249367b955e4d48f763271d139167b1685a519bb4f46a7a8f5c0

Size: 6,683,884 bytes

libcoq-mathcomp-character (libcoq-mathcomp-character_1.17.0-1_i386.deb)

SHA1: 24f6c9401f46d3d1b2b4c0c7e5054192ab17235c
SHA256: 4ee2ca4ee785e96d478544d4b08d34a9b9d1de22aa37511f178206d040b151d0

Size: 3,965,032 bytes

libcoq-mathcomp-field (libcoq-mathcomp-field_1.17.0-1_i386.deb)

SHA1: fca849f1204f92df407cfdfcd8341ef62f7cf3e4
SHA256: 431aec0ac591e62e364402ab9e5485639b8427874c936c8a929f37be8b7c289f

Size: 2,770,572 bytes

libcoq-mathcomp-fingroup (libcoq-mathcomp-fingroup_1.17.0-1_i386.deb)

SHA1: 49be471cf7f2084fd27ca4f261672cb4b07c8a1f
SHA256: e18d2d3b4b0f2e0a9786e8f562693fb8b0e995bfb3343448348f51c708c252ab

Size: 1,928,500 bytes

libcoq-mathcomp-solvable (libcoq-mathcomp-solvable_1.17.0-1_i386.deb)

SHA1: 8fcc17e623f3e31b39e3c7aa7bdbaead3d9ee180
SHA256: 06571b6ee709f0f50a9d38db4967739014c9b9f4ad6497f39a59d988490f53b0

Size: 4,539,112 bytes

libcoq-mathcomp-ssreflect (libcoq-mathcomp-ssreflect_1.17.0-1_i386.deb)

SHA1: 91bc75ebc0570c9a0e785c6bb4e4c03af214197d
SHA256: 0d70c4c794c7458acc40f18a2297f2c723b401309c8f8c705eb561f56379b872

Size: 4,372,392 bytes

ssreflect_1.17.0-1_i386.buildinfo (view)