Result for 006CCFFAF418F22A165B18C0FA9426C13492D610

Query result

Key Value
FileName./usr/lib/coq/parsing/tok.cmx
FileSize1318
MD5602BFA773FB9E1987E9EF6AA1E2AAC66
SHA-1006CCFFAF418F22A165B18C0FA9426C13492D610
SHA-256BE8A0DDE9886D7FF626613F601C6AC50328FCCB864BDF339E5A58D45A29A930B
SSDEEP24:7ip220nRiQDjTYMw4tAqJtwS654lm+0KcXgrM5CbvDrXxrOnqk+/Wnlqo+Hx:0RKRiQDjC0A8tngDKcXghvDlCnqk+eni
TLSHT1FB2120E477913D9A7C56B2B3BCCC502E87711807AD20E432E9DE87872AA54B170D354C
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
FileSize16481072
MD599156F8AC9C7DF12AED90D23593E2B22
PackageDescriptiondevelopment libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibcoq-ocaml-dev
PackageSectionocaml
PackageVersion8.12.0-3build1
SHA-14A9CE91039FC03994A0654D8D1564171F83D24DF
SHA-256F0292FFA1900FFB9B97D9C890092599ACEE32B4F5FA9538E71E82A8727E9A896
Key Value
FileSize16485392
MD5477520B140F8B783305F6938D633AA4B
PackageDescriptiondevelopment libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-ocaml-dev
PackageSectionocaml
PackageVersion8.12.0-3+b1
SHA-15AE3C9190B182FFAEE553C25B6EF6173D6C65266
SHA-256AFC74DD5957284F5E00555E52C8703AB8E54C00ED79C26731C4251B1573EF404
Key Value
FileSize16866260
MD5D2334B7EF9C3001518A350551FB6F943
PackageDescriptiondevelopment libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-ocaml-dev
PackageSectionocaml
PackageVersion8.12.0-3+b1
SHA-16E1070C7D304AC7B03B2D3301D327A8BEEB0104B
SHA-25647EEA76C3FC5835E327A9A0014CD22D9C95099365EE0B8922ECFE5F1F7BA29AC