Result for 022288D0406B707BB4EA98FD728F577A5BA7941B

Query result

Key Value
FileName./usr/share/coq/contrib/subtac/test/Test1.v
FileSize283
MD5C07B0C9E743AEE3DA13A8C3C4731AAB1
SHA-1022288D0406B707BB4EA98FD728F577A5BA7941B
SHA-2565F8BFC22557CD7BDE9D8ED95E424AD75C4AB56E8E2CDCFF84537DD1116701E00
SSDEEP6:fG/2kHayvhvFEfFCayv5MKMtP9jrSIBNXvFLYa5IEUNwJ4F2/ID4Q/kv:fGek6yZE/yKR9dBRdv55NJ4F2wsQ8v
TLSHT1FFD02BC915834147B4978463CE50704894F0CE085FCC09B38B0C88E605E72F8AFB9B7E
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
MD5826A03777EAB2EA8A99332FDD6C27198
PackageArchppc
PackageDescriptionCoq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides the main Coq binary without an optional IDE, Coqide.
PackageMaintainerFedora Project
PackageNamecoq
PackageRelease1.fc12
PackageVersion8.2pl1
SHA-1FED90FCF4D1293004311951663F89D484E2D1DE1
SHA-2561F706C98FCE44B7F31CB367140D27AAFEF402A061755FB7537F2F348D4C7069C
Key Value
MD569CBBE84CC185A57717B538CB05EA1EE
PackageArchppc
PackageDescriptionCoq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides the main Coq binary without an optional IDE, Coqide.
PackageMaintainerFedora Project
PackageNamecoq
PackageRelease1.fc12
PackageVersion8.2pl1
SHA-1A0062E3C9D35D1DE6E83B74DC22895BDCDACEAC3
SHA-256EAF7E4F286C18E1D32F21EFB5F579281D3DCC9F06A9D83575CC345D4191BDCE2
Key Value
MD5F28E6361B8135BFCC8DAA694FFD0941E
PackageArchppc
PackageDescriptionCoq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides the main Coq binary without an optional IDE, Coqide.
PackageMaintainerFedora Project
PackageNamecoq
PackageRelease1.fc12
PackageVersion8.2pl1
SHA-1A83EFCC4D646BEE74C65B73D3237F9087CBF6651
SHA-25604BFD1FBFD5525D8CEA0ED213E1A1605529FB19FBE456F4D8FA51A2FDC1CB207