coq_8.6-4_amd64.buildinfo — buildinfo.debian.net

coq (coq_8.6-4_amd64.deb)

SHA1: c7b47801cd4847d89e77e3175da5bc9051a94520
SHA256: 03f416ca2a239587f53969719cd486b8282fffee5a8a5420b68e9d4cb97b739f

Size: 13,949,844 bytes

coqide (coqide_8.6-4_amd64.deb)

SHA1: b1a3d6a9a077ea2eb0ffc0ef684ba89c0ae78492
SHA256: d32c918159671464e40692e1df2735084b17d8711c3f952e053ff7357aae0a06

Size: 1,404,312 bytes

coq-theories (coq-theories_8.6-4_amd64.deb)

SHA1: 43f55d610bb3a028736dbaef768cf0f3324816f9
SHA256: 1fc01673d7ce02c01542123d581eb4289250cf6c6b42e6a03952c852b90bfe50

Size: 31,444,316 bytes

libcoq-ocaml (libcoq-ocaml_8.6-4_amd64.deb)

SHA1: 6707b0243d35b99e25a294eab7eaff28e402e157
SHA256: 6eb02441377c210ec02898014151511d7242884da1126e6327e96a4e9f64f3ac

Size: 3,500,654 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_amd64.deb)

SHA1: 669dc406f0b4ce6d2692cd8d782764e4b05aec92
SHA256: 90b035ae089bc6091239742604116fda1fd3a8f6b4cb85f029851d287206b6d2

Size: 13,282,938 bytes

libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb

SHA1: 56a040afd229d9ee03805cdcbb940005a8dd5efa
Size: 81,676 bytes

libcoq-ocaml-dbgsym_8.6-4_amd64.deb

SHA1: 7574c012025b23dab96a13baaedc1c0166f7d339
Size: 265,354 bytes

coqide-dbgsym_8.6-4_amd64.deb

SHA1: 444fbccabd00189883cb22b84a309babb9e3e9a3
Size: 365,338 bytes

coq-theories-dbgsym_8.6-4_amd64.deb

SHA1: 512d4938d5854162ed072ff793b453144756dd2e
Size: 876,888 bytes

coq-dbgsym_8.6-4_amd64.deb

SHA1: 8abca12d5d2e1ff3e73c0bbb864866b6599348e9
Size: 1,371,670 bytes

coq_8.6-4_amd64.buildinfo (view)