coq_8.12.0-3_arm64.buildinfo — buildinfo.debian.net

coq (coq_8.12.0-3_arm64.deb)

SHA1: 3cca91758919ac947a0b1d9174df2a721d1f8cea
SHA256: 1dee66a52ef53774709ef0103ac49dc10ab53d5a86326c3a891285e273a11f52

Size: 96,041,908 bytes

coq-dbgsym (coq-dbgsym_8.12.0-3_arm64.deb)

SHA1: 74550ae98193e4e37c899d55bbecde0621c813d4
SHA256: cc39f1a44c0dccbab746313d3e3675647d8c79b76c022f7b18687df1aee9e3c0

Size: 8,008,208 bytes

coqide (coqide_8.12.0-3_arm64.deb)

SHA1: 7a3ef2be941e7fef401c345fda93bc92075be865
SHA256: 1446835a33865bdd50ef30ac2fea9682b5d08c5cfaef38898627c05c10862bbb

Size: 2,173,800 bytes

coqide-dbgsym (coqide-dbgsym_8.12.0-3_arm64.deb)

SHA1: a5ede481847b1b07d06e99ba61f580bc8c4ac81c
SHA256: ca5470ac86af56e0599cbc7bee7fecfc96e4f4b4c1a431fe2778aa032efb429c

Size: 575,968 bytes

coq-theories (coq-theories_8.12.0-3_arm64.deb)

SHA1: 8c59fa17c9a183550e843c7812572b206a383eb7
SHA256: 57d236eb899feb930184fcf211a95f73ad08e93292eb70c02e148ea8409a2b6c

Size: 23,924,084 bytes

libcoq-ocaml (libcoq-ocaml_8.12.0-3_arm64.deb)

SHA1: a82f9a5e262e782a610f212b4f4fd06252649af5
SHA256: bbcf18f1f1efd196fef2dbd616620edbc45818cd7ed63816aee1c522355d0c95

Size: 7,976,500 bytes

libcoq-ocaml-dbgsym (libcoq-ocaml-dbgsym_8.12.0-3_arm64.deb)

SHA1: b64dfcd12b0f8f20f4a2b09f52aaa3c262a397ac
SHA256: 6f28b37a447cc0ee9e4be65f7fe46601e5f2d7346daea49375bb25c75de20075

Size: 574,852 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.12.0-3_arm64.deb)

SHA1: 11e9a13df7886ada0133fe40858fffddcf11178f
SHA256: 810a908f7197dac650dc989d8817b5a3487e755cc8ff8715be69400c0aa6d759

Size: 18,727,592 bytes

coq_8.12.0-3_arm64.buildinfo (view)