| 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 |
| hashlookup:children-total | 5732 |
| hashlookup:trust | 50 |
The searched file hash includes 5732 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Init/Wf.vo |
| FileSize | 14696 |
| MD5 | F6751743ABF5F871BE448E02601205B0 |
| SHA-1 | 0022ADAB83455B454C4039D3FD6F3ED594C8B8F3 |
| SHA-256 | B4C72D4383C482D4E4939CB0CC37B1521A7671BE149D9984816CE4E97FCBC115 |
| SSDEEP | 384:G8ltTAFa/48zgulUSgq0waiVsWIBBeGGIsXhF15UV9Zp8R:3Asvcu6SBJLcmGGIuUJp8R |
| TLSH | T14C62C75CE2994C91C8DF8EF8EEA2D39522E459CF3672A7CB054463200CD8BFF511A386 |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/.build-id/a2/19713df9f3c19b9dbeaba5c8a264311a27b8ce |
| FileSize | 88 |
| MD5 | 908E346E1AC72C710151273E289CCE96 |
| SHA-1 | 0036638C9475186BA8744DE1532A8798CFCB1289 |
| SHA-256 | 9B89408800C0C161B17E4DED76C97EAFAA70A6C2D314D70ADDDC42F8ECB0A5DE |
| SSDEEP | 3:gCD/uAW1ZdgKq6wKC9t7K25W:X/PWP2DJugW |
| TLSH | T132B012607639E510741400F004111C491B001CC875301EE0810E012CE004848839172A |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersFacts.cmxs |
| FileSize | 9176 |
| MD5 | B5B6DA3FC2493C477214396C1604AB15 |
| SHA-1 | 004EAEDF9F8CEA727FF5038FD2A6B090632048FC |
| SHA-256 | 29BF0D4F7AA10135A585E18AAB0305E80C17233FDA6BE309275800D13825517B |
| SSDEEP | 96:/GD2JGfrWQGLBWBSNZV91SOA+KukgEDq3BFW8CAnJPbN50xF1RRq9VnPXpUPbZt+:qaQGL8wkgED+CQb/cFg9ppAbZJIi |
| TLSH | T14B12F84FBB84D52EF8B842F5A48F023133B1F541AAE70F12564CF23C5E6669C5EA0147 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/kernel/nativelibrary.cmx |
| FileSize | 2724 |
| MD5 | 7C9891B8CB1B2DD25A1EDA42A2272029 |
| SHA-1 | 005AAFAE400DFFA5A9B10047CA13500B1C874E8A |
| SHA-256 | 61FDB013702F9A4D840328ED3D4539AB7916F5B8373672F97FD63BE864BC9131 |
| SSDEEP | 48:Qu5OBDCK2UKgiFP7TS/mCAnwPbEl50Cup6kZURRCY20QhgFS7fL:pAGK2fgED0mCAnwPbU50neRRCR/7fL |
| TLSH | T10B510A8E32C43449B6A1C3A27CCC013F823A0A36DE618CFC96CD56884578E7652DC50F |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/tactics/hipattern.cmi |
| FileSize | 10138 |
| MD5 | 23DD4926E89178218D9E66AAA54E43CA |
| SHA-1 | 00601AB8D4BD7F60B90B43FBFFE84CEA76C6BFD3 |
| SHA-256 | 0B11BDC5DED0B51BE8719B535F156014327727D4EE6E2FDC5E17B55FCA1B86B0 |
| SSDEEP | 192:CdaKG9K3g4TE2ORA/iHxjMInqKmA09t4kgED0Cv/gENgk:UaKG9/VA6NMmmAO4c/gEqk |
| TLSH | T1412241AE37A3A90DEDC555DC47BE06A723111F7EE1E99CB7D08903D061A902C27BE147 |
| Key | Value |
|---|---|
| FileName | usr/lib/ocaml/coq/theories/Logic/Classical.glob |
| FileSize | 154 |
| MD5 | 9DA2A7777B2B11FF7D1428A90880F666 |
| SHA-1 | 00884F2F040235006CA1A9A5BFE9A60C81A1C174 |
| SHA-256 | F96E319C26FC91B9A59F7BFD857DA9395F0D86C6CAD3D771F61A7D0851E34834 |
| SSDEEP | 3:JnDTdhnXNUKXXdJfGSJEWWkhSaXfGSJEWWkMenFZknDUpGSJEWWkM6mbgP:FTLn9UWdJfGSJVvGSJUeFanDGGSJU6mA |
| TLSH | T1DEC04C26890525F43A9319715D8113F06371718DAE55DA51A46E990E06C489CB924BAE |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/.build-id/bb/1e1df4c0b306220e21d5088d28121c1b44f52f |
| FileSize | 85 |
| MD5 | 2B6E3111F2AF17D34C159B7797706420 |
| SHA-1 | 008C3C6FA00FE0509FFEB0543B5287087448F513 |
| SHA-256 | AD050B709D9620E07FDEEB63304207145F1E8E53913E7CF9DBC8E9525570333F |
| SSDEEP | 3:gCD/uAW64KUhKq6xJWgXMO:X/PWBKUhDNSr |
| TLSH | T1E7A011A20B38AA20300020F80A20288B2F808888BAE02E00F20E8228E000AC88228833 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalNat.cmx |
| FileSize | 5531 |
| MD5 | 5E1E3A8A3AB0D235AA96E06C89379B0F |
| SHA-1 | 009216F2CA783EE90DEEE7E313C3A9F7B3BA20B3 |
| SHA-256 | 80CC417B799999991D502C5B35A522774F672985D002F22D5B5907F68D8C86C6 |
| SSDEEP | 96:DA+KukgEDq3BFW8CAnJPbN50xunMl1RRqZepQKXtZN/dZXtZNe6v8AGXtZNZ:JkgED+CQb/cunMlgOZdd3Zs6vEZH |
| TLSH | T1F2B14265A7B5D007722B60F25E5D0052446859E2EBE258B9F94C1E088EDBD1EF2EC33B |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Unicode/.coq-native/NCoq_Unicode_Utf8_core.cmxs |
| FileSize | 9144 |
| MD5 | E0B35FCB86E1FD106B1AA5BB7DBD8E2E |
| SHA-1 | 00A5AF4A3E4617BA29FE9EC714044C063F0F2DA9 |
| SHA-256 | CC1BE20D2BBFE97A63BCDFD03F6AED7FB4D1388A9B9B7327873AA077A4E2F961 |
| SSDEEP | 96:UGj2ZGegEfl8BWBc9tS3gQOq1ktA+KukgEDq3BFW8CAnJPbN50xsBe1RRq2OlFbL:Wzfl88SkgED+CQb/csGg2ifsN |
| TLSH | T1E712E94BFFC8DD3EF97A10F2658F123233F9B540DAE20B165F44B2240D579686E580AA |