coq_8.14.1+dfsg-1_amd64.buildinfo — buildinfo.debian.net

coq (coq_8.14.1+dfsg-1_amd64.deb)

SHA1: 0972ad351fee8bf8ac3514d166628e0564024c31
SHA256: 9b45ee42c27cc57a25b877a347a1c0711a3035d7c01da1a50d55f8ae564719c7

Size: 78,511,512 bytes

coq-dbgsym (coq-dbgsym_8.14.1+dfsg-1_amd64.deb)

SHA1: c6d833a17dc2044d675b393359d4b41bd4c5ae44
SHA256: ad43d977be180c43e3d605113da911fd09ab9e3287bb52bf635053b82116f1e3

Size: 9,259,220 bytes

coqide (coqide_8.14.1+dfsg-1_amd64.deb)

SHA1: ee165f5f5bf35d427d328d04f3e29a7430288b61
SHA256: 400d68f2c3425d078fb154ddf25083aa27db1ccdde2e68c0dfa796c5cab1fde4

Size: 1,893,036 bytes

coqide-dbgsym (coqide-dbgsym_8.14.1+dfsg-1_amd64.deb)

SHA1: fa835fa1161e526c7b571cf309a697b1fb31c267
SHA256: 1e21ee66f4256a940bc6e80cd42b4bd33b5ea3fa13c475d4af3cf24357664f90

Size: 574,424 bytes

coq-theories (coq-theories_8.14.1+dfsg-1_amd64.deb)

SHA1: ffade92974feee644688f4b9837e7499e0c1c95c
SHA256: 4ad43f32380d74ede72e9fb7dc0314c7d50637cfdd136e9dae74b56d03f46cdb

Size: 21,755,304 bytes

libcoq-ocaml (libcoq-ocaml_8.14.1+dfsg-1_amd64.deb)

SHA1: 047692f3645fa007ad6389f44d9111ea34d6bfb4
SHA256: 4be630dafcf9bb7b84cb3c2aeb40a85841cc54253909cbc930dc5cc5bbf0df73

Size: 22,298,948 bytes

libcoq-ocaml-dbgsym (libcoq-ocaml-dbgsym_8.14.1+dfsg-1_amd64.deb)

SHA1: 47db0670aab66d4e96555d7f06e4c0fe685c9595
SHA256: 184306421fdeb9ef580e98877392d4c85f5b9e46d1fab3d6424bfecbd65a8589

Size: 1,652,788 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.14.1+dfsg-1_amd64.deb)

SHA1: ce4909b9c6b6da73d6264cbe0a48c55b1e28c82b
SHA256: 2d9e997bfe5b0efd60509ed7027e5b54b481f4a341dd6f6b5a7438845b5bea06

Size: 38,865,964 bytes

coq_8.14.1+dfsg-1_amd64.buildinfo (view)