coq_8.15.0+dfsg-1_amd64.buildinfo — buildinfo.debian.net

coq (coq_8.15.0+dfsg-1_amd64.deb)

SHA1: 600730ee30e278c6053a8d72f24eb69f76b26bad
SHA256: c56c4185233eea34143a3b6166c7eec9ec51ee06adee2ecaf27bc5ca3dcfd178

Size: 79,152,024 bytes

coq-dbgsym (coq-dbgsym_8.15.0+dfsg-1_amd64.deb)

SHA1: 6764715968d05b2e587004f4c9340238d183962f
SHA256: 20c5023a59fc376cfbd3b67911bb68cd51a4de6092c5f3e67bd6fc6f82ae9899

Size: 9,280,688 bytes

coqide (coqide_8.15.0+dfsg-1_amd64.deb)

SHA1: 970505b12bb207af14f6cd59bcb0cf142241c317
SHA256: 642b064124e5751238c52c7f20b52dfa76d74241dfbc52cbeb2d0ad29e9769cd

Size: 1,938,260 bytes

coqide-dbgsym (coqide-dbgsym_8.15.0+dfsg-1_amd64.deb)

SHA1: 198941f80bbd1856366507ca6145c225bbde3ac7
SHA256: 936f4e8c4b628fbedbdf100d08a26ed04831eebee333b192ed5cd2c0feaa7bf4

Size: 583,872 bytes

coq-theories (coq-theories_8.15.0+dfsg-1_amd64.deb)

SHA1: ce4e05355c1b537d2218c5a5d7ee2ec85cb07d20
SHA256: 37554ac48a1386edda1286beff0881cdffb5aec528777792cb1056ed2d90a759

Size: 21,412,912 bytes

libcoq-ocaml (libcoq-ocaml_8.15.0+dfsg-1_amd64.deb)

SHA1: 2e8c48472abc2978f51036f2b781c81640ef2e1c
SHA256: 414c2ac6c155b18a80fbe85985f12718d9fda5e96ef5a65657dc11b600665cbb

Size: 22,400,824 bytes

libcoq-ocaml-dbgsym (libcoq-ocaml-dbgsym_8.15.0+dfsg-1_amd64.deb)

SHA1: b38d92ae010ab17d8a527976355e653d4265bd38
SHA256: 4b2228e276d157af8045ca9e8d0de597f291eec11136d63ee5f901cd106879ad

Size: 1,658,176 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.15.0+dfsg-1_amd64.deb)

SHA1: 7530d4cf36beefae52f94af5a1ec61533b4fe670
SHA256: 42e93bf3be2ab9f7e883b713d51b67985924e35377df6df434369e4aa9f07a81

Size: 39,133,896 bytes

coq_8.15.0+dfsg-1_amd64.buildinfo (view)