coq_8.15.0+dfsg-2_amd64.buildinfo — buildinfo.debian.net

coq (coq_8.15.0+dfsg-2_amd64.deb)

SHA1: 337feb928a9d89fe5fc66e5f124ced6aab161ce7
SHA256: fc2c323c90f8a38535a5de78eba8b2b1d9039da1fd3552dc2178b34752c60355

Size: 80,397,220 bytes

coq-dbgsym (coq-dbgsym_8.15.0+dfsg-2_amd64.deb)

SHA1: e5ccb1e11618c7ea4801747ac148ef8d50bda4d2
SHA256: 732918c368ed761ec2fa2c90fa73966e9803385367eea72a129f47fc215604d5

Size: 9,397,496 bytes

coqide (coqide_8.15.0+dfsg-2_amd64.deb)

SHA1: 9471bf0beada53b078c95ba6fd67d10a7c392123
SHA256: 95d76f4343d4ac6dc62290628e70b91fa31cd268b0d821920f4ffe6209fc0533

Size: 1,985,116 bytes

coqide-dbgsym (coqide-dbgsym_8.15.0+dfsg-2_amd64.deb)

SHA1: 7ebac191d1d0d8f65320ddbc63b856df77972c3d
SHA256: 3f47e8f880dd1fea4be9ff66b6a11121151d92a823fe741db7ab3361cc61f964

Size: 591,348 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb)

SHA1: 12cbdb513b484e735b246dd97595ae9586fe493c
SHA256: 0c4ef2a51f450a6c485ad76249e22aca720142387e7446b0c1d5c5bec043192c

Size: 22,479,968 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_amd64.deb)

SHA1: f87f6fa0b6a16843b7aa3d84e9ea7ca16a3775c2
SHA256: deda47c4c09631ca3057bf030c45a314d39a5ea65e532b51b13cea1b542b4663

Size: 1,663,404 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb)

SHA1: 9dd66f6c4d71a8370741f12e3fdb3c06ea91d4c3
SHA256: f17cca4825f8247636441e2099f32113a0d99fd7d9dc1f32b4b8819d6c29a7d6

Size: 38,997,544 bytes

libcoq-stdlib (libcoq-stdlib_8.15.0+dfsg-2_amd64.deb)

SHA1: 2b8e3d4dc512ab58df8b32cf9eeca204628a2184
SHA256: ce984387d7794fd2537a6a6c4dcc269551628f1cf3405a189cd25999322d7756

Size: 21,418,616 bytes

coq_8.15.0+dfsg-2_amd64.buildinfo (view)