Result for 1FED72BEA135C5E22B54DD275066A29332D13736

Query result

Key Value
FileName./usr/share/icons/hicolor/512x512/apps/coq.png
FileSize50228
MD5AB59C323D8B5F90D9552EADE92BDCFE4
SHA-11FED72BEA135C5E22B54DD275066A29332D13736
SHA-25626BC0A63D6E2925E63EA5DCD24D86B5C4935A8C327683FE9C149570E09B49ECB
SSDEEP768:BZM5y8N2gvcDKfO1Z0bIUqZjSClv0ruJblz8ataz8WimYxVwrDhjVJnieakPrNjZ:B+UiO1GcUHCN0Yw1iPVw5b1zNj9n
TLSHT19E330123EAC54CD3E15F86F4BA4A35167FA380303AA32B36B550FC6B860E35C87599D5
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
MD5FECEEE2D29E4C218445511E12BEA5DA8
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. This package provides CoqIDE, a graphical user interface for the development of interactive proofs.
PackageMaintainerFedora Project
PackageNamecoq-coqide
PackageRelease1.fc34
PackageVersion8.13.1
SHA-12866E95950591DEB55BEB17F5BAB8A707712502E
SHA-256F78E360C82F0BED3189A9E75F9138DE465C948B605CD96824010941F94FC784E
Key Value
MD58DFD5BB272D622DD2E1C56A7F21C3430
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. This package provides CoqIDE, a graphical user interface for the development of interactive proofs.
PackageMaintainerFedora Project
PackageNamecoq-coqide
PackageRelease1.fc32
PackageVersion8.11.0
SHA-13ABD519EE817D9639DABB4292520C9C7E7D1EB0D
SHA-2563F092F8E8CFC5D2A1ACAB9FEB3C46F1460DBEF0A6D35CCEFF5002205AD3F4118
Key Value
MD575CB50477A460955974431CACC41074D
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. This package provides CoqIDE, a graphical user interface for the development of interactive proofs.
PackageMaintainerFedora Project
PackageNamecoq-coqide
PackageRelease3.fc33.1
PackageVersion8.12.0
SHA-13C91342E70437C7882678155579330F1000A9583
SHA-256E6418580A2ABD0DB7D18B71706B17A47673321B2D3049CC6F358960FF9FACB25