Result for 00891484940FB58043874E4F63395A12A1A7C1D1

Query result

Key Value
FileName./usr/lib64/ocaml/coq/theories/NArith/.coq-native/NCoq_NArith_BinNat.cmi
FileSize175607
MD59A7AEA26D9161EFCA7519A60A4C141F8
SHA-100891484940FB58043874E4F63395A12A1A7C1D1
SHA-2569B8B2990AE7FB0C992F3FF107A37F825039F4B78608C582BB9D013BAFB4A2A25
SSDEEP3072:xWIttaCSzLB8js2BQ365yA+Xi4kmRZFcjo:ICaCSzLixu6MnXi4kS5
TLSHT14E0406CC165AA16BDE3706E8C6E5135A82151E7F72C0FDFBD85A61F0834902D27E98CB
hashlookup:parent-total2
hashlookup:trust60

Network graph view

Parents (Total: 2)

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

Key Value
MD583D3B9F20D26621835318E8F68EB1C8C
PackageArchaarch64
PackageDescriptionCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching.
PackageMaintainerFedora Project
PackageNamecoq
PackageRelease1.fc34
PackageVersion8.13.1
SHA-152D726B9A961873605D642540205EAF6165676D2
SHA-256B0DE5DAB104B0C67DE3329EA0E05E91661400471F957F6D042C310487B058964
Key Value
MD54B69C01E0C1DCA686F3FF1B4C18B9C83
PackageArchx86_64
PackageDescriptionCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching.
PackageMaintainerFedora Project
PackageNamecoq
PackageRelease1.fc34
PackageVersion8.13.1
SHA-1E1D4682414BC062283E85D96D5044F75CB8B0E8B
SHA-2569A6C9842A6A180D3CCD5B19AE8A27EB20740BFD6EB02FFC9FCE43AD84EB47B45