| Key | Value |
|---|---|
| FileName | usr/lib/coq/ide/coqide/wg_Command.cmi |
| FileSize | 3552 |
| MD5 | E9447085CD017FA3A92A85BFF1D1BECC |
| SHA-1 | 06299D199A590D8536717436C8B5B78B33237DDC |
| SHA-256 | 483354D129DA44012456803818F75A3C4EBE07FE42B957A0875BD5BA58ACFDCC |
| SSDEEP | 48:o2sbafTsactB4x+Zg5OS35oJ8Zbo1nUvVzH/ed1UK4cIiVbaA4C9e2ETXNaLw5kn:oUr1fbV35lKUvx2RvJ9KTXNaLqkSo |
| TLSH | T1EA71C85E36642C41FCB6936E2584029B5774220BC1F68EB7016E6FD018BB65CC3C5ADF |
| tar:gname | root |
| tar:uname | root |
| hashlookup:parent-total | 4 |
| hashlookup:trust | 70 |
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 |
|---|---|
| MD5 | 83D3B9F20D26621835318E8F68EB1C8C |
| PackageArch | aarch64 |
| PackageDescription | Coq 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. |
| PackageMaintainer | Fedora Project |
| PackageName | coq |
| PackageRelease | 1.fc34 |
| PackageVersion | 8.13.1 |
| SHA-1 | 52D726B9A961873605D642540205EAF6165676D2 |
| SHA-256 | B0DE5DAB104B0C67DE3329EA0E05E91661400471F957F6D042C310487B058964 |
| Key | Value |
|---|---|
| MD5 | ECCB922139F5297667615B434B7E88BF |
| PackageArch | armv7hl |
| PackageDescription | Coq 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. |
| PackageMaintainer | Fedora Project |
| PackageName | coq |
| PackageRelease | 1.fc34 |
| PackageVersion | 8.13.1 |
| SHA-1 | 3D2DD7670291DA2139E3A7ACDF8B4257725BEE58 |
| SHA-256 | 246EF463E7ED5C64D4F9C133E872D7829E24FC225D192C4E7FDDC88B974D58AF |
| Key | Value |
|---|---|
| MD5 | 4B69C01E0C1DCA686F3FF1B4C18B9C83 |
| PackageArch | x86_64 |
| PackageDescription | Coq 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. |
| PackageMaintainer | Fedora Project |
| PackageName | coq |
| PackageRelease | 1.fc34 |
| PackageVersion | 8.13.1 |
| SHA-1 | E1D4682414BC062283E85D96D5044F75CB8B0E8B |
| SHA-256 | 9A6C9842A6A180D3CCD5B19AE8A27EB20740BFD6EB02FFC9FCE43AD84EB47B45 |
| Key | Value |
|---|---|
| FileName | http://archlinux.mirror.root.lu//pool//community//coqide-8.13.1-1-x86_64.pkg.tar.zst |
| MD5 | 777DCDBFC63EFE0D340DDC493E6B6CEF |
| SHA-1 | 082FEEBB8511C8E3F65223CD7877F7A97D4D99A8 |
| SHA-256 | 144CBF27E2F74B0E1EC58C1481F6094F00EA0855FBB220C6B0CAD0E64A9F0C83 |
| SSDEEP | 49152:CUiIxdDjSkeBvf/PlbUlq0PimS7ph5E8V9GU4lgUncHM1/k1VN5wQpPfW:Lrik+/PO93YhzV9GU1M1/k7NJW |
| TLSH | T185C533ED529D413CEF244E768E3EBEB30A5663E880508CBFDFA451ECE5925A185DC780 |