Result for 27B8D6EC3395672B8325F1546FF64DAA40D8437B

Search result
Graph view
Children (52)

Query result

Key Value
FileSize73781404
MD5EFD92C2B10DE93608564354FEDD8FAE0
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+b1
SHA-127B8D6EC3395672B8325F1546FF64DAA40D8437B
SHA-2564733933464C40E28C042A58D5EA36CCD85C947ADD0926A31F6297542841E197A
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/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/lib/coq/plugins/micromega/csdpcert
FileSize1745312
MD51E460098B6DA401A691DEDE8C0AA15CF
SHA-1087C5AC347FA587562BE43E9405E380D0C0730DC
SHA-256DC824193C656719DB3F14C9A3582EE40FC04B69B8BC844F7FF921FD666173A1B
SSDEEP24576:WfztQbb5AnnZPkAVcKjkK9HO0YN8xxhsAhG/3t0mE1ZE:8tQbb5Ann7jkG9YQCAM3tFw
TLSHT139852A96FB690DBCF5FD0AF1486FABFF2E64909B593297209E0465807C9238D6B113C4
Key Value
FileName./usr/bin/coqwc
FileSize1076448
MD53AD96508A3D3D69B2DE7D7567686B5EF
SHA-10C03D02BBB08EBBEB1A4BAF3F2A4B40B81224042
SHA-25692281347CBA1A419C5F5ACA80F92068F1CFCA08699AA74BCAB9DB8CC5E7073D8
SSDEEP12288:XszzBP7cwfOGvutx9ovk7RMu0avz6ByF+Hh3ntbcIrq+wQkop:XszzBPgwfOG0x97Rnr5EHhdcIe3Q1
TLSHT1A3353856FA4E1EB8D2B90AF00C7F57F2AA20E50F54725330AE48FA213EB56A45F553C4
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
FileName./usr/bin/coqtacticworker.byte
FileSize35009397
MD5DBE7EDAFE38C9D81BC2CFC2E1D32E022
SHA-12F225B0DBB1615C9548229F99ADA14D264D4DBC0
SHA-256200320E18E544D9526829AA38770D3F75B55C55F298B7E93E33B10E90AAA9A9B
SSDEEP196608:G6U1E9uvTJNJbj3ZaNXtJK7QTtjEDJDjs05Fw9L8pUrK:jO1HJaQQt2Fs05FKL8pUrK
TLSHT17A77E70EBB465971CC980AFEDCDA828F0324493DA6D34DABD19F06D584C271E2F95B4B
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





metalookup is a service from miwakeru.com