coq_8.11.1~pre1-1_amd64.buildinfo — buildinfo.debian.net

coq (coq_8.11.1~pre1-1_amd64.deb)

SHA1: d32cf4235ee3defccfed3d44e53e2b7ac488563f
SHA256: 5d13d850274b87097c5af20e144d3ff75a045f47513f019e84debf829370c8a4

Size: 76,556,036 bytes

coq-dbgsym (coq-dbgsym_8.11.1~pre1-1_amd64.deb)

SHA1: 706cd82674aa6a288e441ee660b7d03f4661c5d0
SHA256: 8b4d3ff300a2954598590dfa078b487cb09d049b0c53301e4fb5bca063054668

Size: 6,971,556 bytes

coqide (coqide_8.11.1~pre1-1_amd64.deb)

SHA1: 8224f152df6925e78be06a16040a06b2ebafc247
SHA256: b7284c55ada4dd378f5dd178a757471dbb0e5255ece1addae7f87da9ecabab00

Size: 1,719,560 bytes

coqide-dbgsym (coqide-dbgsym_8.11.1~pre1-1_amd64.deb)

SHA1: 7499f707410429cf0088ebc19b8f0d8bd94d69ad
SHA256: bca543d498e2538990fa0d47946c13232a0feec1182025f0e733781f7e6e0c0b

Size: 514,388 bytes

coq-theories (coq-theories_8.11.1~pre1-1_amd64.deb)

SHA1: de594ffbebc4d7234ab85a0b717e2ec9247990ee
SHA256: 30ce6c1167154f4369f12ddc26405ec878ad677cbae90188337e65d37f85dbe5

Size: 33,283,516 bytes

coq-theories-dbgsym (coq-theories-dbgsym_8.11.1~pre1-1_amd64.deb)

SHA1: fe7bc90805cf5bba8c07399f72acb45fe215632e
SHA256: c1ccf23f63eb2261e028b6a56ab1b56b92069aa7761edca85de3063026a1eb9f

Size: 870,812 bytes

libcoq-ocaml (libcoq-ocaml_8.11.1~pre1-1_amd64.deb)

SHA1: d4fd217a979fcb39fc2c37e8e1f1eb30357ad21e
SHA256: 3b77f491cf5c9f1412c3aff47d541cb8de0a79409e67d1f90c488c34844d030b

Size: 6,360,932 bytes

libcoq-ocaml-dbgsym (libcoq-ocaml-dbgsym_8.11.1~pre1-1_amd64.deb)

SHA1: a4726dd4a5a723fa753d7b4399b49003054d9c1d
SHA256: db3735dfd72ac1bf27b8209a60be8e08daff21541c6aa9635a881cdbfda02748

Size: 654,084 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.11.1~pre1-1_amd64.deb)

SHA1: f3ea08b06ab4b241fe7233bbb21eeb8694165891
SHA256: cfb5fea8914ba0208f8f572c834a30edea3781ae49c314ffea792bc75a3c9e31

Size: 16,063,252 bytes

coq_8.11.1~pre1-1_amd64.buildinfo (view)