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

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

SHA1: 948a2fe3b467917dda1f1c1033e565873ff770f9
SHA256: e700dd558dd412876c6c0899afcaa6336423d2450755661463b46f8118de40a3

Size: 89,865,808 bytes

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

SHA1: a29a5fa93028b696aea0cea18f94bb7e78603bc7
SHA256: 4986e13c8919588883217d18a970267d125bc8a2b467f19d327167c7abddbbe7

Size: 11,484,332 bytes

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

SHA1: d03340533728e0dc284be85cb0ba7db45d27c72b
SHA256: e9678a6e5d80ecb13bb0b36057ea767e4260c11b206d3f08969b94dd87d53aca

Size: 1,836,552 bytes

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

SHA1: 5132ef88543d1e397e5946f90f9ce3c2fbaa94d3
SHA256: bbbc7bbad7df24b92ca0464aba1bc597a6cfd8847180e3f8f2e232ed68dbd0d7

Size: 621,968 bytes

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

SHA1: dc3463b35b9f5408606eb3e8cc0ea19922cc7e59
SHA256: 0ba7c9fbb5beec9a98a8e5b27acc67321f90445bbcfd10907d25620a81bfc970

Size: 22,260,940 bytes

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

SHA1: c6d842021b3d84cd92423bafc874648f49b7a3fe
SHA256: 55fd21aeef9524a63ea9c4d7e5af31ee98e45e314a825b8f70ca55d6896c11ac

Size: 1,810,428 bytes

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

SHA1: 5a9e35840571db253d00f56ce56aa4cea139aea5
SHA256: 2c63c9eb3fb2a1269bab7dbc3a3cdb55e0a2544a739849b8c4c2e83ba6b90bf1

Size: 43,114,720 bytes

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

SHA1: 7b408c15f63f046ec2378d61d362c587960fe0fe
SHA256: 00d3ed1eaa89c794d34212bcbffcb104dc123d2f12a8345614a8b4e5bed59bf2

Size: 21,526,220 bytes

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