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

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

SHA1: f17c5e9f7ecdd823f9512e2a9ba17d5b3726f273
SHA256: e8da15e64bf76873b8c1a8185197356c4d61be0a21073f520fba8d12be48b152

Size: 3,157,380 bytes

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

SHA1: 505b4a9623043ac8058f209b5bf2e54b81654914
SHA256: 620ae1e4e58624b5b3fdbd0d137d13aceb9028cb32e10ec3c247f40d484739db

Size: 6,501,028 bytes

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

SHA1: 5416c42de6545ffe4c94b044e25f2a23d3ea8d46
SHA256: 417098d2b977103efad09ae032668747d9e95282f3b2f9b2166483c4651e88cb

Size: 3,958,968 bytes

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

SHA1: 43e0dd54412b701e69530020dd41b29a6a391547
SHA256: b254ddd1fb31bc4bfecab777d9edb22733924b3631eebed355e9bf86735de5cd

Size: 2,765,268 bytes

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

SHA1: 4a4a634b21b255e0700763c4cdf9f39b8a84253d
SHA256: 5e93dbc3e75adf8e76f449b53c9bbc9318b18136a70eb4a175fd8edd98ade2e2

Size: 1,919,220 bytes

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

SHA1: 8e716fd7e7e9ec1a0eca1680af39f37c7a4d3be4
SHA256: e448f9b98cc14131f518699ab9bfd8805b2b9fb3537a9fcef0dc5da541d1e198

Size: 4,535,300 bytes

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

SHA1: 67483810cc7fd1e16e86473dfb007c694d1cb8d2
SHA256: 2624c7fd12ae6aeabad9d82203731eba2e0dc51a1de2756c2e645f38f0ae631d

Size: 4,208,104 bytes

ssreflect_1.15.0-1_amd64.buildinfo (view)