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

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

SHA1: 615241857e039b132a630d3d14bae2c131f903ab
SHA256: 77a3dece9604ed74b3a2ef874a1493d5082169239b75cfa2d67a3d8b62b0e6f6

Size: 2,867,264 bytes

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

SHA1: 5d45db002e56065bcfa00f372889e3386b265936
SHA256: 98648104f247e3974c5cffb56461a5499c6afea4f0e4d42b062beee65c4ea775

Size: 9,032,076 bytes

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

SHA1: 9fb064a7cdb46b57c4b20f8887c3eceb0709dc0d
SHA256: 59005eb94a3467cd25cf65fd3208142dcb0a8fae220025ca18b013de848ea478

Size: 3,941,112 bytes

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

SHA1: da37bd4ecaf1328dab40caff4331f31722847653
SHA256: ee0634d2b351a7b152b810c7609c9d1dbac225b5db4444d4eb2e7b2cfaaa048b

Size: 3,040,720 bytes

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

SHA1: e522d4f38ba0cc8e29cf1e2d4372d3708f0a708d
SHA256: a74491a4ac31e83cc1cca55f95df88448a22acc7aa3fbc6db76ddc1c17cdc790

Size: 2,020,324 bytes

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

SHA1: e4f786073345f70f12f272761f746cd4eb51f309
SHA256: dd2256683560fe454bba850e73eba26be862f7306da8d72badc217e1bf4c2e8f

Size: 4,657,108 bytes

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

SHA1: f5848a6c2ef29e9ec4bece264c81b1661c623126
SHA256: 5782eedc89f411cbf29d28934328abd010317bfa638f1d27309288b531612fb8

Size: 5,796,176 bytes

ssreflect_2.1.0-1_amd64.buildinfo (view)