coq_8.15.0+dfsg-2_armhf.buildinfo — buildinfo.debian.net

coq (coq_8.15.0+dfsg-2_armhf.deb)

SHA1: 8e08b3261bbe85e3e25a0f91984814ffe7d53e13
SHA256: 0d644532080003b7135a6935d392a138bcf274f8722d5668c9023d8800b8abfd

Size: 77,699,100 bytes

coq-dbgsym (coq-dbgsym_8.15.0+dfsg-2_armhf.deb)

SHA1: daf0cafc55bed903ee4752146f51e4f24914a8d4
SHA256: 50633e864381be8d475a25b15676fe8343018db7022e6977c5b0f53832cccc30

Size: 6,639,172 bytes

coqide (coqide_8.15.0+dfsg-2_armhf.deb)

SHA1: e705554e42c01547d064030563361ee0be2f1b28
SHA256: 57f3cbbd8feb65058fbd4b54a8a52812f8cfceb134bd80292088b830b720e0ab

Size: 1,838,608 bytes

coqide-dbgsym (coqide-dbgsym_8.15.0+dfsg-2_armhf.deb)

SHA1: 1138388796b10025ee55f68168ef85922d35d100
SHA256: 0a8fe4df0c248e67025a9c9b86d68a0e6f23eb4ed315da8b774653b22e9f618a

Size: 521,068 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.15.0+dfsg-2_armhf.deb)

SHA1: 6a23bc678141429fc3e1f74645f51d66ed20b5fd
SHA256: 072161bba9e8c5006b3a175de0fd2297cd493200b380ad316ca8bfa807ff9d5f

Size: 22,188,964 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_armhf.deb)

SHA1: 48fb7e5d7e72ddbfd791041f831526f7833f1a34
SHA256: 9a351c4333a2ad5b826220ae502aaa094bf3693b7b8931f6a7aea2d3b6c5d6e1

Size: 1,343,252 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.15.0+dfsg-2_armhf.deb)

SHA1: 3127196db933d810d94c3da3abf5ad0396436a8f
SHA256: 6116421b13b52c6053fccb0f2a8351f8b8349f70b250dbf8046fd2db3f51f7ae

Size: 39,691,136 bytes

libcoq-stdlib (libcoq-stdlib_8.15.0+dfsg-2_armhf.deb)

SHA1: ba89150546016edfed8442a14535725349ef99e9
SHA256: 8103f92924d75dd27ac1c5f674aea291b38992a2e470a457feb21da8b58a4558

Size: 21,413,568 bytes

coq_8.15.0+dfsg-2_armhf.buildinfo (view)