Result for 003D6D7BF2185937A6BD5CAE869B4FA8CFAA6FEC

Search result
Graph view
Parent (7)

Query result

Key Value
FileName./usr/lib/coq/lib/pp_diff.cmx
FileSize1922
MD50628DD5E66BD8EF8542FA1A4523CDB6D
SHA-1003D6D7BF2185937A6BD5CAE869B4FA8CFAA6FEC
SHA-2568A2824F7618BEF1AF2542738F551CB07DFB9D1E774AF93D0872322B430706D9A
SSDEEP48:QY2RbQQeDJgDOHAHbjiKoRqENVGFhgiTIf70b/:QYMbQPDJgDmAPY88S
TLSHT1AA4140D5922AD20348DDB9779AAA3CA3C95AF2111D354471FDE7CE9B34A5C48322B30D
hashlookup:parent-total7
hashlookup:trust85

Network graph view

Parents (Total: 7)

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

Key Value
FileSize13752108
MD5E0644862C05235E21CC1E92256D6623A
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.9.0-1+b1
SHA-1482AB5AEC382B7199CE5527EC6948A90A65F2E58
SHA-256062F9E8B38A1F20E2B09E70442721F516CF19EDB56C0024282FE8D57E72E9EB6
Key Value
FileSize14037564
MD52E442FEF10FE9BCE12A7FDCF2D9BBA71
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.9.0-1+b1
SHA-134089ACD9A4456780915F1E3B026EB50C1B0F0FA
SHA-256D631F8D5BECB52930FE3258E589FCFB0BD594FF6F55A1446EF737D5075C00A7D
Key Value
FileSize14001864
MD528FE9C69860DF6AD927263319F49B077
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.9.0-1
SHA-16894B230B3D0DA599554574F21690FAEDF7187AE
SHA-2568FD42F1730A8BE52FCBFB3FB24D65266B9B3BDB3788FB25D4F6F13421572BF3B
Key Value
FileSize13735472
MD54C806C84C1A9F0942B585F7B2FDF9651
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.9.0-1+b2
SHA-14AC2A576FAB101437B9A94C65C76973220C81C48
SHA-256B6026EF8557D7B0A10491D51342B6ACA2A9FC086E1B7E597BBAF91A36F7CAA4A
Key Value
FileSize14046384
MD53826CF84FB4A8DE1715831DCA580105C
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.9.0-1+b2
SHA-1473948C4CD14BDAD6B6F4A59166984208D7B4E5A
SHA-256D29D777A0BCFC2541B0A18F0946C1B2B34AC0D80995CC9F36C1BDA98723A382B
Key Value
FileSize14094956
MD528E7B24B3012EABE57830EB52102967A
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.9.0-1
SHA-1B4FDBA2992B78EAC5A52D8C7891DCE889C1AF29C
SHA-25663ECE43E9C4BE8ADAC74FF721C9486AB2E87E63B1C9146FB991420FC4C52CD5B
Key Value
FileSize13703936
MD5BEF748649DB0E9238B454381879E938B
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.9.0-1
SHA-14E5AD529C09EB21295CE0A479B6D1C4EE71C56C0
SHA-256380B71F424D119587D5387055AE272FE33CF187F4C84FC5131AF659FB659E474





metalookup is a service from miwakeru.com