coq_8.19.1+dfsg-2_i386.buildinfo — buildinfo.debian.net

coq (coq_8.19.1+dfsg-2_i386.deb)

SHA1: 4ebe1e455cfc5f61f06f76a36a63cec56799c75d
SHA256: e88a3e0985cbdd91dea21c1f7ed0cfde4c06d193e96781f54a326c3edc10b4bf

Size: 78,941,796 bytes

coq-dbgsym (coq-dbgsym_8.19.1+dfsg-2_i386.deb)

SHA1: b89f7689c8dee8238a361d6848939796311e7e6c
SHA256: 15115b2f68c3e44ddc20c5f196a0fc32c33d71f2eb9adb5533f8d407d9768106

Size: 11,535,328 bytes

coqide (coqide_8.19.1+dfsg-2_i386.deb)

SHA1: 011b86dd5bedcbe94b840324212862e562a59864
SHA256: 204c28a5fb9ae9a6ddb9edba9bfe1648fa02775dbab4bbe283cc016fc8ec778c

Size: 1,820,736 bytes

coqide-dbgsym (coqide-dbgsym_8.19.1+dfsg-2_i386.deb)

SHA1: 2449d6cf703f374b6725a2b33d018ba2fce7d3d1
SHA256: 3de8b47ff484a3dbba823cbbb083b69e561decc7e148b0a2b194d3e28bb196fb

Size: 716,560 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.19.1+dfsg-2_i386.deb)

SHA1: 3e4e968d4468cf9258ea771462b7cf2b1a2e72dd
SHA256: 0ac6f4c5638ec718f77d0c0df6cea44bcfd991a56803d78c318b731b98ee2f9e

Size: 22,639,672 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.19.1+dfsg-2_i386.deb)

SHA1: 2c8281bfafaa184925607f4ceb7fe9635a9c2d0e
SHA256: 9e3dbff04e067f1b8668911fd2c2f69746f01c0f0460925e394e1e4e26a6ffde

Size: 2,458,776 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.19.1+dfsg-2_i386.deb)

SHA1: a505c99820a26a9d9151fc91e69650fdbc170466
SHA256: 6ff056b2e0c73ba0b19983e5afcfb05179b8c64d4c134d8cad4e3c250f7c9bdc

Size: 45,434,604 bytes

libcoq-stdlib (libcoq-stdlib_8.19.1+dfsg-2_i386.deb)

SHA1: 8d225f9790645853af5a799ea214e2a94fd47f25
SHA256: c2c32df348eb133482a2ecb34c05e96c001aff962429e5740aee93b085461fea

Size: 23,652,844 bytes

coq_8.19.1+dfsg-2_i386.buildinfo (view)