coq_8.14.1+dfsg-2_arm64.buildinfo — buildinfo.debian.net

coq (coq_8.14.1+dfsg-2_arm64.deb)

SHA1: 9d11561915938d1e1d08e90c853e6a90d99b7383
SHA256: 2a311141b36a571c5e7d1bb04c85dac754ee0c997dc14f95b2eb918b762c74cb

Size: 85,546,496 bytes

coq-dbgsym (coq-dbgsym_8.14.1+dfsg-2_arm64.deb)

SHA1: f88111c650ad79931c2a39ce0c538ba48561519f
SHA256: cef040d9f97ec7ace9e92d923115af306f1daba34196f8a0be0c2cdaafe68280

Size: 7,458,516 bytes

coqide (coqide_8.14.1+dfsg-2_arm64.deb)

SHA1: 0b4962eedf5294ccbb68eafa66cb2e6cb7238196
SHA256: 54d910a80b5974e02cff99beaa086d26c306ddb40af0b47bccc35d73292f855a

Size: 2,201,372 bytes

coqide-dbgsym (coqide-dbgsym_8.14.1+dfsg-2_arm64.deb)

SHA1: 68e8ee7921b8c4b92dbced5b37fd8c4237543cd9
SHA256: ea8ed1cfb822906372465fa7b0d2f705b5941fdc0d35f30d998e1d99f84181b7

Size: 580,344 bytes

coq-theories (coq-theories_8.14.1+dfsg-2_arm64.deb)

SHA1: 1c886ad5ed2b6003835f67a7b17e6fb6f716e76e
SHA256: 063335fb2e969c867bcdbfb4ec6810456e140e09f29b382f0d424ba2bbdf9c5d

Size: 21,756,324 bytes

libcoq-ocaml (libcoq-ocaml_8.14.1+dfsg-2_arm64.deb)

SHA1: d8c9f9d85ba75b2ff27015f075edd6b85e5269f0
SHA256: c81e46b98d1345c2d9c9e1195792c4d43f39d789f873ac98c2c4abf11bf1d495

Size: 22,804,072 bytes

libcoq-ocaml-dbgsym (libcoq-ocaml-dbgsym_8.14.1+dfsg-2_arm64.deb)

SHA1: 4a45ddbf6cbd01fe105eb8cdb62473bb4f999023
SHA256: 94ffd2f3426801a79817b3344c1fd1e73ed3f8bf29697d7338fcc0d226a2dd08

Size: 1,365,168 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.14.1+dfsg-2_arm64.deb)

SHA1: 7d6e64a9c63b40502ebdcbae5e3ef8bab6663ebc
SHA256: 7a70ad99214cb9148020f72d7da966dff322aa3e23f98632a036fad583d65026

Size: 39,147,276 bytes

coq_8.14.1+dfsg-2_arm64.buildinfo (view)