| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Reals/.coq-native/NCoq_Reals_Rminmax.cmx |
| FileSize | 8360 |
| MD5 | F99BD554214BBCA5A82CC7595730F052 |
| SHA-1 | 002F8DDD34D2E6A48759C40B179BFE0C12B6119F |
| SHA-256 | DEAFCDB55443604AB17925BE1095641CECF425A36C4B28C4F647E96D05BD70D5 |
| SSDEEP | 192:dkgED+CQb/cSIE4tCXQ09WgSG7uPZzbQZHZrW0WQDZTimcVCFfdoF4Was6tE6fAV:dtb/cSutCXQ091SGqPZzbQZHZSJQDZTu |
| TLSH | T1FD0231D32D97E6A52BA7D7F16EAC60DF4C5160489B6D8CECEB0D460CCD3251882B8327 |
| 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 | AE98E560F8BC87E4FA896A0F599293D5 |
| PackageArch | aarch64 |
| 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 | pterjan <pterjan> |
| PackageName | coq |
| PackageRelease | 3.mga9 |
| PackageVersion | 8.13.2 |
| SHA-1 | C44D6D4C91C3AD8EDB9A98A11520A742D66FCCCD |
| SHA-256 | D53E0DC702FFD3F7F0B304B040A6F4A4B4C8ED4037A82C78AA6495F462A4E3C4 |