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

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

SHA1: 4947b3909e496dd50243d07082c6aabca1987c27
SHA256: 867e0dc09b63e809af7ae31a68e87cc1884fc55029d6c88fafcb2bf8889266f7

Size: 78,928,852 bytes

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

SHA1: c3771dab727ac086d91691e24f361c5f1507dded
SHA256: f46a1f27ff78f3b862822684b0275f35acee9e6f0bf192aa3ea6306e317c5c87

Size: 11,548,620 bytes

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

SHA1: 4c7fdb78c5840455f214b9509c6d7e7d7e4d29cf
SHA256: 10d092d8f0ef63034286bf83d6b0a275b769708bcc1fc18b962d2e551d542f7c

Size: 1,820,772 bytes

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

SHA1: 7afb4ab71410e71b985471bcbaf1f5c5c9add5e9
SHA256: 056c6b3a0236605b04e74b1764d5148555437f038663f24a98335cde4746506e

Size: 716,380 bytes

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

SHA1: ee7847cc20103b8275bf80f22e590fee6fd70d53
SHA256: 83040a81c4da71b2dfeca64bc1bf396d0ef7d854a0c0518e9097e8d09e3b2c17

Size: 22,639,868 bytes

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

SHA1: adb243e9fbbd389b7e9dc1fea5c4a781c2687a2a
SHA256: cff5bfc4f73c19481a2c5fb303a8ced388ab82804d75866203e7e89926803ed1

Size: 2,459,168 bytes

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

SHA1: 1d5b251d2a76eb6ec7854b79f267ab1cd3364f24
SHA256: de2d7892d16aea4e2213af615cf6cb7ea9c9881b61fa4fbb0fc5d39c8feea543

Size: 45,435,364 bytes

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

SHA1: c5634b0c7c4b57fcffa9947e8a9a1da2cb783cf7
SHA256: c9b8650b139c81d530037de6454583ee49e5a8a8abedb8d0a8bc836f458cdfbd

Size: 23,657,540 bytes

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