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

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

SHA1: cdc72da50e0090a1aaae7e863fd0ff96d3359a45
SHA256: 6e4261df77182d2d0c5356d3e0933e19d501b3f274025f4c66fecc034659b8e8

Size: 3,157,344 bytes

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

SHA1: ff3b18cab7c1c4330cde99a4fe8e0a0d50f6b9ce
SHA256: 35c68533dab6c2f54356ca971be351e46b56acbad80101eaebb5b51199c55335

Size: 6,501,500 bytes

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

SHA1: b5c56f4a4d62c5f76ef5ba0cda00f9e7c4f2fd4a
SHA256: fd1d897f35355e1b5e3ef32082fb2dbe031c5fd4403dae4f6b1c32e45a6cfbd8

Size: 3,958,192 bytes

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

SHA1: 7dd64abcd7b91678836098e7d0bfb692a378d90f
SHA256: 053056fdc3eb193cbff9612ec3c72ae2ef810ba623af8866a78784fa10d3644f

Size: 2,764,800 bytes

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

SHA1: 805538f15e8a31355e4db87cdf1d5f5ee2becdc1
SHA256: 94f702582ef0e8ebb312c3ec4fa8c1252fe90cb474152ebbf0e2646d677ae490

Size: 1,919,320 bytes

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

SHA1: ffd6f8eae9bf4cfc3792a0d706e1aed7fca72df7
SHA256: 9e9b7444569873beeaae2cb264b64949219f25978e4d392e28640f985d523c6b

Size: 4,535,036 bytes

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

SHA1: 481ab022d1e95c69d634dd63b21d9e111c80ea74
SHA256: fd61489e1ea45fb5916e794fca627197abd694d013ef640b7efe8c061ed62ead

Size: 4,206,256 bytes

ssreflect_1.15.0-1_i386.buildinfo (view)