Result for E50FC23B5A7EE25A645B805B8BF2A9F199AEDDF5

Search result
Graph view
Children (52)

Query result

Key Value
FileSize89873072
MD54884D5C2072E1F258CB4FF06F9602F0A
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.16.1+dfsg-1+b1
SHA-1E50FC23B5A7EE25A645B805B8BF2A9F199AEDDF5
SHA-25642F1889BE811E4DAD1C425052FE06D7EF61AC6CF7E1D5BAE2ABA191539479B14
hashlookup:children-total52
hashlookup:trust50

Network graph view

Children (Total: 52)

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

Key Value
FileName./usr/share/doc/coq/CREDITS.gz
FileSize3195
MD5BF9ED26E961C1BF3051690DD0C0831A1
SHA-100870119B2290BF14884CE165A49DB362CABDA83
SHA-256564D4FAD3AC4D75A76D69170CC5E7232383C509AB5B329FC762A3A114A2D7B6F
SSDEEP48:XXTJNxWzdF+Xnhi1oS2g12cWM63d8mb8FRncaHF0pfxf8GEpDKp26ea+Fznqc8uW:THxWzdF+XqazcGIcCFofx4Op26LImo/O
TLSHT19D615D555E0781546FF9712754D8820760671823888E8EFEE2E3FF64788F7405B2F918
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.1.gz
FileSize863
MD5501627D1169CF3D54E42B97EDFE1AE1B
SHA-102F6FF4F8850C8B80971C71D31917D267C422BA9
SHA-2561DB04ADA5967E3A6CCCF4834F6183D7F62A72917AB603CCAF78B3CCA319E057E
SSDEEP24:XKjy6SPm6dY4MATKxyXLGj9dGLAwJvRSMaaXL6ox6Qqf7I:XKG662zCCj9dGLA6vj6yqf7I
TLSHT1D7115B9438D458FDD785A3F340ADF81C708D69E590D15B115E571B7594C52610C5861D
tar:gnameroot
tar:unameroot
Key Value
FileNameusr/share/man/man1/coqtop.byte.1.gz
FileSize258
MD5318FF26B3C204EA84E366135DA8A44A5
SHA-11443F6270D477A4891745ABB401BE302B82D2ADF
SHA-256816E2E7FB833056644A27F13A5431D25DC700D5C1F24E9C8CC8F36C17565D4F9
SSDEEP6:XtsDLNanHxDlDQyBW5SyvkC0M6hbUKMcTIm:XWDLIHVNDBgSzjM6hb8Qh
TLSHT1E7D02BE247C37A525409C87641113E544D6ED8D6AE15616BFE8584ECB9444114551AB2
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/bin/coqidetop.opt
FileSize14847976
MD5DDAE7678D1C52C9CF6F14D1DB02DB272
SHA-11A316FE1707BF9E0C4000E49CB37F7891F8A5492
SHA-256B41E94147E3432287372411A84CB27B27DDE8307349BF4DCA81D2EF5B1A8175D
SSDEEP196608:2GpayDW7zuPwe1Kn3vu+jk7et56yWHfnP1l:2G3a2p6tWfP1l
TLSHT1BFE66C17BB0D6C2ED9A68630F0BB6747D325F1447AE246479D0A32652FC20E81B379DB
Key Value
FileName./usr/bin/coq-makefile-make-one-time-file
FileSize697
MD50E3866029534F261350AB8D8CF6102FE
SHA-1300BF5FB8E9776E0491F580648C06BDB58D2A312
SHA-25686B6917762ED3B0D67A972BFBC390D5FA28D73DABE2520B9B6B4ECBB2D4D6744
SSDEEP12:H5X3hkrTPO2UF2aHYWuS0wyjF1FYtIaAZk1+y77MCLkafZRZajC2XZRZmpHYpdu:Z3eGua4rZw+1FYtR77bLkasjPUpHYpdu
TLSHT1F601DD5A852CD81007F35A7A1C2E70609422326B0B0A5D71288CE5E1FF39EF8F11BF39
Key Value
FileNameusr/share/man/man1/coq-tex.1.gz
FileSize1237
MD5536372B2F0568A2E13ADEA1BC447185C
SHA-13148AE7880BE3083D888B711FE96A4606A586DC4
SHA-256ECAA69B9123179E2E732A09B1C2F890214971A13499E53380F6F4BE8585E0F10
SSDEEP24:XSfq2BBY0kjcQWfCihygnkd7JQHOxXMnNSrMT+tImNwPPFlmK/:Xokq3pPMFQulUSwvmN+tld
TLSHT15E211A2FB1145D937466E0AA5817FC938CB3222E2D649EDD4C1303815C9083F2736163
tar:gnameroot
tar:unameroot
Key Value
FileNameusr/lib/ocaml/coq-core/tools/coqdoc/coqdoc.css
FileSize6139
MD51C0E28E4B818A20A7D764B6E19F3F2AA
SHA-1314A1939F0D7818D2044B5867820478CB9F6DBDA
SHA-256C09E941D165D8A37C9F57667A59A5F087638EE3F2CD281439287286C6DFB42B9
SHA-512752B2DFC09EA08531590174700AC33212070CB4015ED0840CBED76611D8D1E3418579C28592698B9CE4FE5C914AD7076FE8A0257D518BB57ECDCADEB9C69E6AB
SSDEEP96:Uuheof+m6IdFxF0bjwsXp6Z4npdZ42rJyihegB9:WUFxFQcMdDrpee
TLSHT1DBC1DB4397732C07A58F803C63BB926A726D54C3118A97BEBD7C6568CF49260E1C3E8D
insert-timestamp1727037220.1908724
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34
tar:gnameroot
tar:unameroot
Key Value
FileNameusr/share/man/man1/coqwc.1.gz
FileSize296
MD54F78B71F014F7F83EF3CDEF7D98E19B4
SHA-140CAE2E36875BFC76A7A09FE210A5FD6C2F67E51
SHA-2566836BCD5F833AE01C9864E23DF8DECEA75A8C3961BA8384F019259C33859BF44
SSDEEP6:XtZ2uVNDDAqAdINUN037Ankql8lgcHsxFoqF75rIKyUPn/:X6us36GN037ABugdz7dxf/
TLSHT17FE07D020357117AEA303A53ECB804850A8D144007D5BE8D196C8929F538416AAC0336
tar:gnameroot
tar:unameroot
Key Value
FileNameusr/share/man/man1/coqc.1.gz
FileSize524
MD5F75339FEDB77D85C79C11A03A15DB1C0
SHA-140E462EA51DFDCFE6A14E7DB4530BDB173B67D08
SHA-25603CF85389573E95AB0BB1D490123A07B8B1E9452886C8BC10E358F716538E7CE
SSDEEP12:XMUt8qX38WR8UAVaZYiiffEEVtpqbGwUWD7onyCTpm4B0E4a2:XMfU8luZ6j3qbXh7ondoE4a2
TLSHT192F0754B59435E22BC30373DA1D5013EE0DD81840FD0E1D1FD0978C3450A2D4710C423
tar:gnameroot
tar:unameroot





metalookup is a service from miwakeru.com