ssreflect_2.1.0-1_i386.buildinfo — buildinfo.debian.net

libcoq-mathcomp (libcoq-mathcomp_2.1.0-1_i386.deb)

SHA1: e40fc1a2ccbb778c55efea04c488c1c938440ea3
SHA256: feec14f2e585eb281e02bf24b8a5df8a6853d77c7e4e82e07859eed500f44a4d

Size: 2,867,504 bytes

libcoq-mathcomp-algebra (libcoq-mathcomp-algebra_2.1.0-1_i386.deb)

SHA1: 939faa16aba8fff18f964152eff305f6dfac3dab
SHA256: d7bf1517c2fddc350b922bded24014310358b041285c85f4fad13167dfa22984

Size: 9,030,840 bytes

libcoq-mathcomp-character (libcoq-mathcomp-character_2.1.0-1_i386.deb)

SHA1: 320e55a1415489017afb7f40f1fdb5ba94265873
SHA256: 76ba36c9990cc9430a6844affc687f226c9383580d65e8954a65382c8f3942a9

Size: 3,940,336 bytes

libcoq-mathcomp-field (libcoq-mathcomp-field_2.1.0-1_i386.deb)

SHA1: 9ffdb2f269e431675e835f2d9148739787c06c0c
SHA256: 771568a3b44f65a9d1d66f1e589c03096e5314bf2a6a8231f497cf492ecfbbc2

Size: 3,039,680 bytes

libcoq-mathcomp-fingroup (libcoq-mathcomp-fingroup_2.1.0-1_i386.deb)

SHA1: f7525bc224f4188974631c14c709a968702ddb6c
SHA256: 454447e806f384653a011bb0b2a0410301de71f6323ddc586791832f8acd8723

Size: 2,020,128 bytes

libcoq-mathcomp-solvable (libcoq-mathcomp-solvable_2.1.0-1_i386.deb)

SHA1: 23aaef9c6ae7ab50c361c15bfb2e8a0ee77c9ba0
SHA256: 7994e7d9fb3a01bcb8e8ddbe90f540e22cebba6c72ab0a7ce79fbc89aec19fb9

Size: 4,656,536 bytes

libcoq-mathcomp-ssreflect (libcoq-mathcomp-ssreflect_2.1.0-1_i386.deb)

SHA1: 1a716aa8579eec5a4f699f060fce0f8028e1e5d7
SHA256: 5ebd95ddb054374e1fe4a4a811810d9b1faad757fd63bab66d0512b4a8434a02

Size: 5,798,312 bytes

ssreflect_2.1.0-1_i386.buildinfo (view)