Result for FB948D430C758F5C2248ABBFDF34A06C3D18002A

Search result
Graph view
Children (48)

Query result

Key Value
FileSize105866584
MD574E1F64C37F49363C3E169CA2173095E
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.12.0-3+b3
SHA-1FB948D430C758F5C2248ABBFDF34A06C3D18002A
SHA-25676F11F20CEDCB8AEADB3E69615CE84428A2E1AEA7ED3910E31CEC2D05752BD24
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.1.gz
FileSize863
MD5501627D1169CF3D54E42B97EDFE1AE1B
SHA-102F6FF4F8850C8B80971C71D31917D267C422BA9
SHA-2561DB04ADA5967E3A6CCCF4834F6183D7F62A72917AB603CCAF78B3CCA319E057E
SSDEEP24:XKjy6SPm6dY4MATKxyXLGj9dGLAwJvRSMaaXL6ox6Qqf7I:XKG662zCCj9dGLA6vj6yqf7I
TLSHT1D7115B9438D458FDD785A3F340ADF81C708D69E590D15B115E571B7594C52610C5861D
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/bin/coqqueryworker.byte
FileSize42248519
MD536AD7D68E349F44FD355642B3EA1BED7
SHA-10D550ED59A106B0045C0F9E1EC12C3C6456FF1C7
SHA-256569996F1DFE013B5C6DF116352F7FD5E7F506993E1E24BAE810B657766E1BE77
SSDEEP196608:2GkMIYiV5sjJAFs/lT9c7gOZQOIzeDeQFLdaZqwCuckP1cnHx:vL6cOZQOIzefd41CuckP1S
TLSHT19297081FEB155965CD950AFDCCDA428B07E1593C82C34EAB819F02E9C183B0E2F56E5B
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/lib/coq/tools/make-both-time-files
FileSize875
MD5A0458DD49B888E673B4993CD53E3B0B1
SHA-119CF1A8E0D6120E327116CFA642E56B85194A42F
SHA-2564613B45CC601442C057A7DD845944A5F3017D293EA8FD79D102C89B8F47395DD
SSDEEP24:Zua4rZw+1FYJrAxhG/LkascpLkasjgwOR49pHYpdu:AaCZ2JrAqzlFygDG
TLSHT19411A62A886CD81007F34A6E6C2E7042A415711B07061DA038A8A0E17F7ADF5B01BF3E
Key Value
FileName./usr/share/doc/coq/CODE_OF_CONDUCT.md.gz
FileSize3002
MD59A40BBAE075CAF9433A3E1F28C05E910
SHA-1224ADED844719A1F9AADEDF43802FCDE0DC9C7FB
SHA-2569A7F4E2FFDCA7807A759BEA711E1D91C0F06B5F8FA76E5BFD6150DD98EA74DA9
SSDEEP48:XrKdwjk50YfeCaqLeXLMEJei8wGmmaWCUIGVash0Q+l5IpAnE47qOTZmA2/4xVTE:2mjkKYfiqLebMiPmaTGpc0kElOdmfIVw
TLSHT103514CD43A785A50B5C8E683507917D9702F90713FDB7DCBD1569AA6F1E020592740F1
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
FileName./usr/bin/coqidetop.byte
FileSize42851556
MD5509B1DA77A8FE7F852867347DFADD758
SHA-13D26C3A9171DBD7411511C018F3B30E3DF9D10C6
SHA-25604C89E84834ECC61D293B9632F09DECD91E1E3EE1609A6501D06B9696E1073B1
SSDEEP196608:BQGkMIYiV5sjJAFs/lT9c7gOZQOIzeDeQFLdaZqwCuckP1cnHH:TL6cOZQOIzefd41CuckP1o
TLSHT13197081FEB155965CD950AFDCCE9428B07E1593C82C34EAB819F02E9C183B0E2F56E5B
Key Value
FileNameusr/share/man/man1/coqwc.1.gz
FileSize296
MD54F78B71F014F7F83EF3CDEF7D98E19B4
SHA-140CAE2E36875BFC76A7A09FE210A5FD6C2F67E51
SHA-2566836BCD5F833AE01C9864E23DF8DECEA75A8C3961BA8384F019259C33859BF44
SSDEEP6:XtZ2uVNDDAqAdINUN037Ankql8lgcHsxFoqF75rIKyUPn/:X6us36GN037ABugdz7dxf/
TLSHT17FE07D020357117AEA303A53ECB804850A8D144007D5BE8D196C8929F538416AAC0336
tar:gnameroot
tar:unameroot





metalookup is a service from miwakeru.com