Result for 60404B508CD311195BB1EF173D7A6B8C6A125E9F

Search result
Graph view
Children (48)

Query result

Key Value
FileSize68443024
MD5B171705A119206EC3894BC9484135EDA
PackageDescriptionproof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq
PackageSectionmath
PackageVersion8.9.1-5+b1
SHA-160404B508CD311195BB1EF173D7A6B8C6A125E9F
SHA-256F0726E41C76627D5ADC8D106521F6695C7A26EA4872E9D733226560981C02FE3
hashlookup:children-total48
hashlookup:trust50

Network graph view

Children (Total: 48)

The searched file hash includes 48 children files known and seen by metalookup. A sample is included below:

Key Value
FileName./usr/share/doc/libcoq-ocaml/NEWS.Debian.gz
FileSize269
MD50ECA063A774B94A35B2709F6E8E4D6AD
RDS:package_id182052
SHA-101024660E771DD5236B4AB77DFE0050CD2399988
SHA-256B1659BBB950B950046B4C9660BD1BA77AECC2AC75CE8D9172942608DD8A845CE
SSDEEP6:Xtq1MrzCx26YMHSG51tXgMIdrMzczJzVkVpXV77AFBS4jMNl:X81SN6RSGvttI9Mz2WV5V7Mi13
TLSHT165D09535760099B79E5DD0F1357CCC4EC512C2098C20F1B1A0A5E013D0E6764D4DF904
insert-timestamp1679425887.2617948
sourceRDS.db
Key Value
FileName./usr/share/man/man1/coqtop.byte.1.gz
FileSize275
MD5C85D082EEF138584A662D850DBF002E0
RDS:package_id182052
SHA-102CA91ED439B35E686C7FF49CDD3E8E67EB0E7AE
SHA-256E790CE35A5A670BB38D1B71AE4A52467D42C425651C8AF23A8273617936C410A
SSDEEP6:XtCvPuAceBvF2JT+Y5UxHhMutBBlBNduhXM:XMvP3csvFI+Y5UlhMuplBAc
TLSHT174D0E7B59CC920BF8BDD040147101D631787D5DC1581642500471680314954D7673834
insert-timestamp1679424703.0916345
sourceRDS.db
Key Value
FileName./usr/share/man/man1/coqtop.1.gz
FileSize942
MD5D8ADCA4C3F44E97B2C7FBD8002FB7E8C
SHA-10A4B95D7485B0C3A30E390D3C8E3F659CBE5D141
SHA-2566894A31ACD532564D285C124749806828A23BD190066C308388B81E69B1D480A
SSDEEP24:XFpVUYI+4DTCvr/y1alOBDFnj8VpuH814RnKCKs1jUbgV5vezB86z3K:XT2quU/WDax1mRKshUtzBnK
TLSHT14B11C872A2150B17860297274475A5E04C9410D17CA83BE3F0AE0F5F3618F19224F735
Key Value
FileName./usr/share/doc/libcoq-ocaml/changelog.Debian.gz
FileSize8843
MD53D5659A9AE089B2C3852A3DF44E8B516
SHA-118B75666B54F972AD13DA7E55B2455EA7A50389D
SHA-256D46D2A2B73A1E5B8E046C951AA86A93EDAC4609E7F9C57938706AB79B5BEBF00
SSDEEP192:FcP0sF8K9a683088KnlbbZWwCphHO4jlMKGz/VY4bl3g3D6iK9J4c:DsL9m3Dd5gvhpjAzeuQ3D6iK9Sc
TLSHT1AC02AFE4A932756C7662CC4FF4D9FD7565883308210EF81960E651B9632D1D2BE68D02
Key Value
FileName./usr/lib/coq/tools/CoqMakefile.in
FileSize26677
MD5B3B81AECA29761307829E5E94AFDB12E
SHA-11DE7E41411DC79007832180390F54EC9661FBD18
SHA-25647E360A1EE5A2B877B9A9615FC25C25F8EB33189DA488A2DEA1782B2A839C304
SSDEEP768:60xhWYaZHpH4ZZUxobMpMJ907ssLHrhGlfEIzvIK8:60xhfaZHpH4ZZUxXpMI7JLqEN
TLSHT15AC2A73AB7092E6E9B8509E470E85148760F0096ED23B4B170BD8D3DE37A0ED61B6DE5
Key Value
FileName./usr/share/man/man1/coqc.1.gz
FileSize543
MD58B28B858F2B73937DC9C8E5E7EC065C8
RDS:package_id182052
SHA-12398BB2A5488D5E45FEF7013F1713FA321C7E92B
SHA-256CF37BCDF17C49831F7F23E90E5F1E5965DCC1766D6CBB8F5AD63779DA4019C0D
SSDEEP12:Xyl9LOLTzYXkjQviq3UrplJ7+cGybTUljbNbGWjxILYh:Xy2Lkjqq3Urpb+cnU/dx2a
TLSHT193F096AC87F200F29A26105C418EADD20C242EC971ED82038880C815C24CCE88994154
insert-timestamp1679424703.0865602
sourceRDS.db
Key Value
FileName./usr/lib/coq/tools/TimeFileMaker.py
FileSize11260
MD5A9CBBA682050521812596711FBA3ED72
SHA-1286D00C9CDE933F3FB5486820914F71C39F44FF8
SHA-2560E387AAD130730B1854E949C0A726AE982B3B636662B9767E0D05CC5AB70BF5D
SSDEEP192:icm7HobQuaj0BjqIpR+qhszRMB/j5dAsAurYc/c/n6vvM07/kajILpsRXBkK:HmE8rjWzAqRDbwpwF
TLSHT19D32853A641A291047D3A87B895DB1867304922723052874FFDDB6683F97D3943FAEF8
Key Value
FileName./usr/bin/coqtop.byte
FileSize46159937
MD5A27D0CA18EF18F7E9FE95B2D3B991959
SHA-13469298CAD53E4A2D41471FDE10708ABA6804594
SHA-2561F6E7A021624FE0B72F26F3A9CC4FAD79D8130B532C82D09E1A25DBC28DD802C
SSDEEP393216:cHVaHdztAGNBb2gYYJL728Hw71K/C2ElBx21+mmDqs0OFKL8pUr6:cHVa9ztAGNBAz2+n
TLSHT143A7E70EBB4A5961CC9806FDDDD9828F0720493DA6D34DBBC19F06D984C271E2F95B8B
Key Value
FileName./usr/bin/coqpp
FileSize2931072
MD56AF08A629934A25B7DC556B37D1DA1E4
SHA-137A80EFBBAC2F6AC43117D0303A724F413E0F7BD
SHA-25678E0FD7209546BCF1621E1750CD46C0F661D3BF29974DF5849E79109F54BDC97
SSDEEP49152:j4VY5cxgG8850LEk+hMKL8pUVbqlVMWf5OBDb:j4GwMKL8pUdql0BX
TLSHT17ED5D60EBB4A4632CC981AFEE8D9829F46204C3DA6D34DBBC44E17D990C171D6F95B87
Key Value
FileName./usr/share/texmf/tex/latex/misc/coqdoc.sty
FileSize5494
MD5D81D07C2738BE88569AC158D76B4A72E
RDS:package_id182052
SHA-13C009E4BFA0A7740FD7F721C7B38AFE4883C9434
SHA-2563C46EA94A7954C9CF506F24EFD98F8059B4D098AAF4A3A38A8903473A68EA617
SSDEEP96:zp5zUm5Sua7AIzP7glU+c4V1lSjcilL4bSurImGYsBtGosrcS/p:V5zUm5Sua7FzP7AUZ4fCcvbvrImGNtGN
TLSHT1E7B1DD006DBC72922BDB0D46AD54DF095C3BCE0A3B0E96E678BC245187C6B8F029974F
insert-timestamp1679424703.1018066
sourceRDS.db
tar:gnamebin
tar:unameroot





metalookup is a service from miwakeru.com