Result for 05A7469627900F1F53F888B4B0F92F708AACF6BD

Query result

Key Value
FileName./usr/lib/coq/plugins/ltac/tauto_plugin.cmo
FileSize56645
MD5315E42E6F8C24AD7C463B9ACE4F3656E
SHA-105A7469627900F1F53F888B4B0F92F708AACF6BD
SHA-2565AA60E091F07B717308286C1A7C75854B68330DF8C92EB6AF4D111BA09C9CDB0
SSDEEP1536:ck7rHGwzT5WU4OY6JnJ34SiE6CGvSul25I2l:3HH5a6jSUZ
TLSHT1E443C756BB491820D8EC08FDD9F6F58F033806E55AA6CC1784FE46C5ACC2B191BE761B
hashlookup:parent-total3
hashlookup:trust65

Network graph view

Parents (Total: 3)

The searched file hash is included in 3 parent files which include package known and seen by metalookup. A sample is included below:

Key Value
FileSize6324304
MD5701FC8FA98E5F756DAD7F0E6F745075A
PackageDescriptionruntime libraries for Coq 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 runtime libraries for Coq.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibcoq-ocaml
PackageSectionocaml
PackageVersion8.11.0-1
SHA-15F6745E012D16D1AE1A4D29195B1AFE8CE8EBD42
SHA-256AEEDFA1FDC335CFF8828C5A9FA00B33FAE4B268878001B3B494DA4A7A3412096
Key Value
FileSize6354016
MD587A2154326C604C505BF5611C4516E6C
PackageDescriptionruntime libraries for Coq 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 runtime libraries for Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-ocaml
PackageSectionocaml
PackageVersion8.11.0-1+b1
SHA-17E8F63ED0D5F541CF7AE0F1AEB2FD84451EDF1FE
SHA-256B714804A5879FD2B6AB1D984D89999558EEA327C25D05568584DA24EE2588ABB
Key Value
FileSize6753356
MD522EC956EBB59855A3CF8C291FA1FDFD4
PackageDescriptionruntime libraries for Coq 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 runtime libraries for Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-ocaml
PackageSectionocaml
PackageVersion8.11.0-1+b1
SHA-1F4A4FEB6F4520A599AA1DFDC3674F4CFB45469CF
SHA-256AD25DD9D96CBAFD94EA341F509E6DC32BBDCA23871EE933487E81F10B6FC391E