coq_8.16.1+dfsg-1_arm64.buildinfo — buildinfo.debian.net

coq (coq_8.16.1+dfsg-1_arm64.deb)

SHA1: e6dbbb5456edd216ba6d5a625bde4713884f6730
SHA256: 93ef0c8038ebf0551d67a7977c27068ede11ef7df0fbcca76119098060559f9b

Size: 102,146,008 bytes

coq-dbgsym (coq-dbgsym_8.16.1+dfsg-1_arm64.deb)

SHA1: 81fbec5a842544dba80f130989c0af7e72cfa4f8
SHA256: 7c4a555467ad875be656589cae65dfe1b122ec70c7469eafb42b258cde1674bc

Size: 14,102,564 bytes

coqide (coqide_8.16.1+dfsg-1_arm64.deb)

SHA1: 53bdb535fb273895fd1161e03a5136377262789b
SHA256: 79eaa7ab2010facd17d5a99b565515fdc0d1d17c7e20752110ca032d6111e978

Size: 2,304,532 bytes

coqide-dbgsym (coqide-dbgsym_8.16.1+dfsg-1_arm64.deb)

SHA1: 1ba824628e60a30c55167db1f42e480f621b993a
SHA256: bbf18772e55867b75a14e053a32445e9d41fa5adf6361bf24ec8d65ce2be5110

Size: 735,024 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.16.1+dfsg-1_arm64.deb)

SHA1: 5348c2ac190c562c44f3947094d31899abe3511e
SHA256: ed3184ab6fecad7a86dfaee0c8c8198f8d79960113fada074558c510ea7baac5

Size: 23,096,548 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.16.1+dfsg-1_arm64.deb)

SHA1: 945ea5e570fdee668cdc88ba6c958c669468dfd2
SHA256: 6f273c7165efdbbff23ef416fcd42daaa2d8a9f1f84049f7d5c07a8583c6690f

Size: 1,851,944 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.16.1+dfsg-1_arm64.deb)

SHA1: db93d30f123de93befd856cbbb0e2256b2584700
SHA256: 079e03ccab8a80657277ba78656669fdb8093b59ba163ec4f560ef9d9e5e3de0

Size: 42,819,312 bytes

libcoq-stdlib (libcoq-stdlib_8.16.1+dfsg-1_arm64.deb)

SHA1: bd9f61822a3cc1e0479f24d8af462c731425799d
SHA256: 7012c880c973c2767eff6890d6600e4450e89fb217ab3bc8f1ac736fdd237d5e

Size: 21,526,104 bytes

coq_8.16.1+dfsg-1_arm64.buildinfo (view)