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

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

SHA1: a32e1d3a718e9a631c7c01f23e1b6177adffd8d3
SHA256: fce60d0e86b890c776587a5109072ec3fbc81edab3b7719765bcbb867f0e3903

Size: 78,495,136 bytes

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

SHA1: 3423026934bfb5deaaa85298fa661ad2996b8703
SHA256: 38ea2fc779989d933eba117b41cd0e254f2400db4841320d8f978450c42cf7a1

Size: 9,051,096 bytes

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

SHA1: aea2ad4df0fc7a6933c21c5340fe662c59af1846
SHA256: 23c032da4f155c0e7c6009c3a39c08d7aac481e84ab16bf69301e51ac47f3db6

Size: 1,897,004 bytes

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

SHA1: 91f1379ab1ab52c7dee55c4a627f3d9670e88abc
SHA256: 34e5487b0b1bd54b6e95f924c566661d673110c653c0492c86f34172e9563070

Size: 574,748 bytes

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

SHA1: b259bd685c101a2d63ac9ebc57f1ccc980b63e37
SHA256: 3078e5a7ae16dfaf6169096afca0d0779d502fbaef50a00c62c5b73eb01f53a9

Size: 21,753,908 bytes

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

SHA1: 8dba073c03becaf848a6f45ed0bbb3184c58bdbb
SHA256: cb3d936578485fcef074d99934ed45fc527ba14962bbe15ebc63f3df5f2038e2

Size: 22,299,692 bytes

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

SHA1: 3ccf6673cc1d032b7e70cfce2e9a4121c35d174e
SHA256: 3c0018dc8f4a3a0f52a60f5e5955d9ffdbf3e8103287587b767eb53a66b36353

Size: 1,656,492 bytes

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

SHA1: 792d649aa43a92e7baff25d623c216f5e2ac4714
SHA256: 06b5ed9062345c9b15b1afdddbe6494518c5d93b30500137dac91bcceceb9a7d

Size: 38,865,984 bytes

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