coq_8.12.0-3_i386.buildinfo — buildinfo.debian.net

coq (coq_8.12.0-3_i386.deb)

SHA1: e6e0768bb9ebc35f284c5c9e95345400eb5ff745
SHA256: 0f19987250f834cafc3907047d2423197921e8747d3e44af230c49f33955b78f

Size: 87,884,628 bytes

coq-dbgsym (coq-dbgsym_8.12.0-3_i386.deb)

SHA1: eeeedd085a3859824fac21b1ff9df8cf1cb57d49
SHA256: 0c84795dc43e33c812aa7377b4bc6b38f40fb81a01932dde390e21ef1fe86c5f

Size: 8,405,008 bytes

coqide (coqide_8.12.0-3_i386.deb)

SHA1: 4117cbffad06cab8bcbd2427d709b5508176391e
SHA256: eca418eb9b6f1dd86893645b96e9951e1c6376a62cefd8bbea76dbbdc9d0ea0d

Size: 1,723,572 bytes

coqide-dbgsym (coqide-dbgsym_8.12.0-3_i386.deb)

SHA1: 9d079dfa642df89fd9d42d6427d5a3e109d34ec5
SHA256: 3108b74341e64f80ba774b09d2e923f3fb0514a689e913c89cb09f1b39de5653

Size: 538,768 bytes

coq-theories (coq-theories_8.12.0-3_i386.deb)

SHA1: 2cb32fd23deae5814a8d918244f93dd072637098
SHA256: d95d092eca8dd8befc6e1a981bd243a2512ffba73095f49d4483c60325c38fce

Size: 35,214,956 bytes

coq-theories-dbgsym (coq-theories-dbgsym_8.12.0-3_i386.deb)

SHA1: 76cf9a377b2e9b460a2925ad6147630ffa5d1142
SHA256: 4289681c352f6da0f08d4d22f42a037747718121f88dc7a8500c383031056b1b

Size: 942,304 bytes

libcoq-ocaml (libcoq-ocaml_8.12.0-3_i386.deb)

SHA1: 077171a3dec696e565879144a7ab7ec665e5c8b0
SHA256: a46b14107037a85119a524e8979730a1838ce14ed6436a85474db4717965f662

Size: 7,568,868 bytes

libcoq-ocaml-dbgsym (libcoq-ocaml-dbgsym_8.12.0-3_i386.deb)

SHA1: ce83950f03802cf4241a27497640c9482337d6f8
SHA256: 14a24c54cd1a438fd589cd249945aac8a8b4310c2966359d4ade5f2785d51e10

Size: 654,340 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.12.0-3_i386.deb)

SHA1: 63a8078522d02a7fec918e1b117cea157dcb0a63
SHA256: 0f1a54620c8bfde7429c5aa958bee8d7851289cb1be55de062f867da42f83b87

Size: 18,662,568 bytes

coq_8.12.0-3_i386.buildinfo (view)