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

coq (coq_8.12.0-3_arm64.deb)

SHA1: e50fa1c86044e99950a35e2d6da1a8b891395a3b
SHA256: c283390a929fc34f150b6de5445827e66dd0ca72f3a171e9713fc86a5aefbe3e

Size: 96,022,192 bytes

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

SHA1: 60461e8726a133ac5479601fbeb0e965b9af4e1e
SHA256: 83b99d831c2354d523cc0cf890f5ca7df46f322ecb563a629af146dfba9c7f9b

Size: 7,418,892 bytes

coqide (coqide_8.12.0-3_arm64.deb)

SHA1: 98ad9c29e5d9517dd2881e14ec81e9a2c013defe
SHA256: 48059f371d8305c64fb46275d8d959fc4d133f400617ee76592f0366d344c583

Size: 2,174,508 bytes

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

SHA1: 69b33190fd23ee47e81ee62b05011f0188b5cd31
SHA256: f2cd4543e59d2b3c916b49057a4a579e0189a1152df13badaaeffca0aab5ecaf

Size: 574,916 bytes

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

SHA1: a2296d6126b1f500dc07eeb236ff9d31f7e5cd01
SHA256: cc08e534bda4fea99d73e914317c8665a14911b2be68587d33fda1fc4cf38731

Size: 23,924,912 bytes

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

SHA1: 7e78979ba7415358502c9d002d1482dade81be5d
SHA256: 909d0b00e382b30e25010654d8e375e741b3dfd67214a121f76e22c71b0e6f98

Size: 7,981,476 bytes

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

SHA1: d15db5f9cf48c45a7ce16deae95b8ff36fee974d
SHA256: 8afffd3edcb4c7bc9b014f1be10348c38f9c91884936fd5d977097a24cfaeda1

Size: 574,840 bytes

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

SHA1: a362818a415fd58349b8707f7bcb0280509c4067
SHA256: 7229daa1626c47ecb2431db8a23b2bec16d507e5d99c95f3fdc97e77e5ddda49

Size: 18,737,588 bytes

coq_8.12.0-3_arm64.buildinfo (view)