| Key | Value |
|---|---|
| MD5 | 80AB89F5520204A72C0E923C1D39DA1D |
| PackageArch | x86_64 |
| PackageDescription | The Coq proof assistant 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 and the Bedrock verified low-level programming library), the formalization of mathematics (e.g., the full formalization of the Feit-Thompson theorem and homotopy type theory) and teaching. |
| PackageName | ocaml-coq |
| PackageRelease | 1.d_l_ocaml.1 |
| PackageVersion | 8.15.0 |
| SHA-1 | CB08792B3FBB6A4DA24F62FA58B3F2B06898C233 |
| SHA-256 | 7795600B3DC1334220C3570565C63DCBFFBD1EFA12BCA284AFBA5AE5961EB970 |
| hashlookup:children-total | 652 |
| hashlookup:trust | 50 |
The searched file hash includes 652 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/MSets/MSetGenTree.vo |
| FileSize | 308547 |
| MD5 | 40512DE51DB7E940602189BC6C647C62 |
| SHA-1 | 0043759B5C0D5C435401CE4760FEE02205934926 |
| SHA-256 | E5F6CCBB693AAC165C0DC1ED5F11A8064437F8988E42E22C094388ABC735DD88 |
| SSDEEP | 6144:pjwGCtpcL4tgqO7aSlppf1TosHpcXXVb+eAnOKQDY+VvDuMrlligm:4twMq1TosHpcXFSdnivDjih |
| TLSH | T106649DF9F2949C71C9EF0DF4D395E120570A468E91FF06464E6DC21889CB3EA5486ECE |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Sorting/Sorting.vo |
| FileSize | 9772 |
| MD5 | 458FB935393B932105F2C23A94820734 |
| SHA-1 | 0043CADDE72651DD49F31ED042CF743B1CFA6CD2 |
| SHA-256 | A51F9C2FD38869B653269D067039ED6597F1117F6AA3BB49AE7D2AAF70D850B4 |
| SSDEEP | 192:p6YPBP2RHyx6I/PUCV3A5YlhqOm+5Lb/VJ78ZO:p6WBAs6QQ5Ybrm+mZO |
| TLSH | T1D4121E459151D3E2ACB2CB748A781084549A0E93970D2F6C6679014CEF6FBEF3EB2753 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqdep.1.gz |
| FileSize | 1522 |
| MD5 | 5A1B6640F25BD0B09965DEB45A4E123B |
| SHA-1 | 00DFEB0F2107C45DE3F60DA6687FF0E70E8CB356 |
| SHA-256 | 34D42737ADD40216A2F0FE809E6F322BD3D3DA91F24D944818AD56AE1203BA20 |
| SSDEEP | 24:XPyzLtzy69+UcBDhmgoToljLdcGzWyGGzPrveNTgIqyfJAsMC9+:XP259XcxhmZT4jL2GzGGTyBnqyfeRC4 |
| TLSH | T10131DADBFD4C11372E451975626C90169019B57A7BE69CC60B91403DD06C6FC5EF110D |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Reals/ROrderedType.vo |
| FileSize | 41157 |
| MD5 | FDDCDBC480DAAABFFA2696926D6946DC |
| SHA-1 | 01559983BE052F2CC1C8B5917D51D68F974BD313 |
| SHA-256 | 00FA780F6260FE2D81FD9E35CF61DEAF95CD5D8457CEA13A0145207A1A564A0D |
| SSDEEP | 768:/BXf63zfqbBGCFq9i8Cd4HHUYtzGIddsBDfr+0kmfbs8/lbig/7:/BXC2bBxqMCH1tz3sfa0kIRMs7 |
| TLSH | T194030846E12087B1D8FACD749E3860D094894E4B936E1B656638406CDF5FBDF2EB2393 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Sets/Partial_Order.vo |
| FileSize | 11078 |
| MD5 | A2F0F3F8A2049023EF8850C657BF1BE1 |
| SHA-1 | 0159F263688ADDCA4CE867FDBF204A6C34D002F4 |
| SHA-256 | 494D81B0D40055BF27168DBE263C071248AD7D98BF8475890E052E54CA49410E |
| SSDEEP | 192:R6Tke1pclE2Z+XprfshRVZPxXBjdGf5bXI/IPFCjOE3dS:R6KlE2tRVZPJp8f5DBXKY |
| TLSH | T15B32F82EF2550A83C4D74DF8DB75E18407A80ACE9676FF46408153585AECBCFE52B286 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Strings/Byte.vo |
| FileSize | 506387 |
| MD5 | B9F3D2A3AFFB4E190596995D6FA09F0E |
| SHA-1 | 015E99241D0F0FC28E73FFC9AF2B9BF0AA4C85E1 |
| SHA-256 | E39FC48A251A042DD1B7CF65B5A01DE66DBBC1C464677777D0E902C87BD6B19C |
| SSDEEP | 12288:IopXGcW7VsHegkzW8SnamsdccjiJIDGz5F:IQGx7Vs+nK8SgTUF |
| TLSH | T1A3B44B19F11D4C7FDFAF593CC36289805231600DE651EFC2394DA16DAAFAD842E8FA49 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/FSets/FSetToFiniteSet.vo |
| FileSize | 130991 |
| MD5 | 9102548A23E9DABE1937F79D80C8C727 |
| SHA-1 | 0167E5BB497DD402594D660F751E95A07A1F8A17 |
| SHA-256 | 30BE5E849A55CDB94A20A8D5DF099EBAE5CFA32FB107135A8DA6DDAF2A38E9CC |
| SSDEEP | 3072:pAYKXkS9YUuxFOoZZ8ip+r16u0VjocFaKivytpr:pSXkS9Ytgh6XVjDU1vytpr |
| TLSH | T112D31851F60357BCD4AACC79F36071B0C6E20D5F81BEC7980E2D81688ACA78E55A27D3 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Numbers/BinNums.vo |
| FileSize | 8001 |
| MD5 | DB394E96A89557D72E5EDA9E8154783F |
| SHA-1 | 01E42897F0F04887B00AB94B9B293C45A8B24897 |
| SHA-256 | 22B258F713EF92051C7632AEDE3F72700BBA419A14AEF77F5052E9656EC4A883 |
| SSDEEP | 96:g8yNHwfk7AdMrJjnZGvrQ89S6Pe/jsZ3R1avFcWn6YjanAWF+8v6Bynh9V:N6QhQ6TVQgZ3L46YjrWF+8vJF |
| TLSH | T1A9F1937DA3110A42CCEB9D78FB1AF384179856C7B232FB86916463040BED6E3D163257 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Reals/NewtonInt.vo |
| FileSize | 100486 |
| MD5 | F3E1C069A0688F5AED3C45C60F325C32 |
| SHA-1 | 02708E2E06A860491EE452D726B1228CBF8205DB |
| SHA-256 | D00A434113C5B3D81AFC439FDBC43EC4BB5BF0A2E494412227DCBC49BE1ED1B7 |
| SSDEEP | 3072:ZXRrCrYi0iDpCZkeozcU3v/ruXajPYYqxqR:Z13owCeozcUf/ruqjH |
| TLSH | T18DA31840A1009EF5C9FECDB0D53860A19513098FD3BE1B896A7981AC96CF7EB2C75793 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqtop.1.gz |
| FileSize | 863 |
| MD5 | 501627D1169CF3D54E42B97EDFE1AE1B |
| SHA-1 | 02F6FF4F8850C8B80971C71D31917D267C422BA9 |
| SHA-256 | 1DB04ADA5967E3A6CCCF4834F6183D7F62A72917AB603CCAF78B3CCA319E057E |
| SSDEEP | 24:XKjy6SPm6dY4MATKxyXLGj9dGLAwJvRSMaaXL6ox6Qqf7I:XKG662zCCj9dGLA6vj6yqf7I |
| TLSH | T1D7115B9438D458FDD785A3F340ADF81C708D69E590D15B115E571B7594C52610C5861D |
| tar:gname | root |
| tar:uname | root |