coq_8.16.0+dfsg-1_armhf.buildinfo — buildinfo.debian.net

coq (coq_8.16.0+dfsg-1_armhf.deb)

SHA1: 82f3f275dc78dfe00283b66755f7495ab6a1acec
SHA256: 0791a6076bfea8ef4429d5ae3575531cb62fdc8d9c51212a4db6239cdb42f2ab

Size: 89,895,592 bytes

coq-dbgsym (coq-dbgsym_8.16.0+dfsg-1_armhf.deb)

SHA1: 75cb2a2b65ec7605da198a02c5d80c4d5f0b301e
SHA256: 2a460f0cfd1df2143bd339759f538ce1835567ec6306e2462677569cf3838318

Size: 11,429,452 bytes

coqide (coqide_8.16.0+dfsg-1_armhf.deb)

SHA1: 546e66dc0f8e995abde8cfedce948ffa788102ca
SHA256: 493dc276917c68b60060ffe84570382a1334c864f1d859537454d9331074ccba

Size: 1,835,260 bytes

coqide-dbgsym (coqide-dbgsym_8.16.0+dfsg-1_armhf.deb)

SHA1: 46217a31e235c030e4a3c463ae3414231cec6add
SHA256: df5ff085dbac84df6fd91bd126fd64db9ea814d46af8bbbd0a7475b0cd127244

Size: 562,296 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.16.0+dfsg-1_armhf.deb)

SHA1: ae7daeeb674a536b21e68afa2e2b411d6bed71a5
SHA256: b8c2fede3b59ec166fd31d51cf4e1aeb71fca6803de60bb0bd626084591f0fc0

Size: 22,260,060 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.16.0+dfsg-1_armhf.deb)

SHA1: b88bd581b13347add91632ac4fa0b97629891e65
SHA256: 827f67e4b84ffa649598befa5d2d4ee87570b0c90699583a416a49b784db6ec3

Size: 1,801,940 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.16.0+dfsg-1_armhf.deb)

SHA1: 59f44d24261f3480fccc9d3831f3b6c37b8c2fba
SHA256: 936f4b83e673951cadc52fb65b0fb64fdb4641135d613982fdd7e46ad42d18f1

Size: 43,113,656 bytes

libcoq-stdlib (libcoq-stdlib_8.16.0+dfsg-1_armhf.deb)

SHA1: dc456eabc6eeeb9433bd4a9cb0ad5c06a1056968
SHA256: f1d29c31520f07e314503fb7e02e62475cbe8b980c586f21a4efe4f737f3a62a

Size: 21,524,732 bytes

coq_8.16.0+dfsg-1_armhf.buildinfo (view)