| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/setoid_ring/.coq-native/NCoq_setoid_ring_Field_theory.cmx |
| FileSize | 34420 |
| MD5 | 5E6577F788329EA4BA08EC8A47819FEF |
| SHA-1 | 006175481EBD755D9FB128E564F7D7510A6D0B9A |
| SHA-256 | 7FEB0A42C0A1FBA13B62393FAB5E0B5037127F492EBC3E7474EA5009A350AB80 |
| SSDEEP | 768:C/wMxtR5RWhW3iWbWlWbWDWFWxRWxWqWhWpWVW9W2We3WbWrWcWUWPWNWQW/WZWx:C4AnR25UMmkekSZYQAgzH3sK1xmQXMaQ |
| TLSH | T179F2AC521BEEE441B657A5F41D799C72C941E1025BF2C0D6E7788DCBFE9840ACA0F28E |
| hashlookup:parent-total | 1 |
| hashlookup:trust | 55 |
The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| MD5 | DE872213A0B37277F3AF21F32179F4BC |
| PackageArch | i586 |
| PackageDescription | Coq is a proof assistant which: - allows to handle calculus assertions, - check mechanically proofs of these assertions, - helps to find formal proofs, - extracts a certified program from the constructive proof of its formal specification. |
| PackageMaintainer | tv <tv> |
| PackageName | coq |
| PackageRelease | 1.mga7 |
| PackageVersion | 8.7.1 |
| SHA-1 | 26E0F32B5C1ADC76F5F1AC492B591F78CF54E206 |
| SHA-256 | 2385B1CD79E6B83F4C44267BF4D6FA65C6A8C3E87C0FF8A239780E338D351501 |