Result for 02468079306DE770FB8DF6F0445DAECA8EFE8890

Query result

Key Value
FileName./usr/lib/coq/tactics/nbtermdn.cmi
FileSize3095
MD5951C186BDF7DD8A040A038FF0007C3C9
SHA-102468079306DE770FB8DF6F0445DAECA8EFE8890
SHA-256D15B1AD2B34DDFE6DF3E6463C0FAAB56C1A345310CAE5D0702A2B998206A5D0E
SSDEEP96:MboHcEqI+9bWgjFYN5qGqv7tDOh1S+n0/Fkq8:mSkp9bWgO1qD4G+qaD
TLSHT1205184DD96185CCB447BDAADC622805F520147BEC0FB5C3B927D8AEA983E94CC7415CB
hashlookup:parent-total4
hashlookup:trust70

Network graph view

Parents (Total: 4)

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

Key Value
FileSize5745580
MD59C35663BF80F69CF0034EEEEB3E2BDCE
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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibcoq-ocaml-dev
PackageSectionocaml
PackageVersion8.3.pl4+dfsg-1
SHA-10CFD7307D99DA0B34893FEBFA25F1A60F6873DCC
SHA-256A8FB92E135B7619D9148041D939299DAD3C348CBD98EFC052E98706FDFE1D56B
Key Value
FileSize7551918
MD507C7B851A02AD21CC71955FCD8F7CDD6
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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibcoq-ocaml-dev
PackageSectionocaml
PackageVersion8.3.pl4+dfsg-1
SHA-16F4D0C210DB07832BE349B395E27F2CDB73E03AB
SHA-256B63FFBA624B356445EB96D060587A57BBE1EA7CD9581564FD6D3661D9AD0F774
Key Value
FileSize5842704
MD5567299EDD9223109676002E6716BFE85
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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibcoq-ocaml-dev
PackageSectionocaml
PackageVersion8.3.pl4+dfsg-1
SHA-16430F40D0A450623F15D48A2FDF8FCC9DE93A3B3
SHA-25683771A6809941527FDD5BDC9B0172EF64E0CB0E35F462A42311AE1A0BF9A8522
Key Value
FileSize6650128
MD533FF0B77E75D6B1E5258C7D2C369F9AB
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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibcoq-ocaml-dev
PackageSectionocaml
PackageVersion8.3.pl4+dfsg-1
SHA-11EBA0FEBAF9A5CB560F827D6842EDA2B1BB86B1E
SHA-2562D9DE53CA0837AB3E3478F065E13C133622BA48DFDBB34AAF7897EF3DD2DFE48