| Key | Value |
|---|---|
| MD5 | 6514C51C9AFCDB1402605D6B584AEA44 |
| 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.4 |
| PackageVersion | 8.15.0 |
| SHA-1 | 987F21D19F363B9AE538D8F16BD7C5E9A557B855 |
| SHA-256 | 7EF83A473681E80009DB8BD878C997A94B3318E58341F04FA71482A1708CCCBD |
| 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/Lists/StreamMemo.vo |
| FileSize | 16106 |
| MD5 | 2559FA4B073234B92200322E764105C7 |
| SHA-1 | 00365D2B6DC310B72B6D89935552CE072E101A90 |
| SHA-256 | 9947F0F19C992F8FB287F213CAC370B80853C197C0EA373CA136F61C3C5312F4 |
| SSDEEP | 384:75jJIJOnQGmLJRJioFrofjvDOzB6jJHATvIXxGFPVaJ:kJOKoSoWAwFy |
| TLSH | T1D4720A6DA7184C06C8EA0DF0D335A36517E885DEA337FF47185093A80ECA79F2A96346 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/micromega/Ztac.vo |
| FileSize | 27698 |
| MD5 | 6B12F9FC2ACEA73C937E959BDCED0CCF |
| SHA-1 | 008142BA6F46707D62CB70A0656051C4A2D6AE6A |
| SHA-256 | AA351F9E368D4A347F240D94A1481EE7B44383B0D1511DF9FD24D0FD8E14903C |
| SSDEEP | 384:zS5j0eFpQ2LiDuzcjNmLz6+DT82LyMYRmoUCr33ZPXqJICew6YC:zBeFu2LiKKqzY2LyMYXUi3pPXZCwYC |
| TLSH | T173C2C709C6109762C8B7CE388E79758446850E83931E5F2911345A6CDFAFBEB3A753C7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/NArith/BinNat.vo |
| FileSize | 438374 |
| MD5 | 5F950B97B9AB7031EE929082BFD661B1 |
| SHA-1 | 00DC7DD3AF42D84B0FC2A6E13D71BD514D3AD94B |
| SHA-256 | 66D2401925EB8A5FADECA326EB43CCC2B7D8A4F4F632D5A227C274BBB337074C |
| SSDEEP | 12288:8ptlMCKRwcSPoIBkfDiV94WHEy/53LXhaeAIFr0yb:gMBf494WHEy/VLh26rXb |
| TLSH | T1B4946B8AF28748B6CD8EC5F4F3B6E015DBA96E7D417E93462E1D902984C328650C77CE |
| 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/omega/OmegaLemmas.vo |
| FileSize | 45467 |
| MD5 | 6BAD477F0C0C2E2B95A020D44A2B3C29 |
| SHA-1 | 00E8AA98619B0E07D639A8F251F047D6D01C0A27 |
| SHA-256 | 820E4735D2F90C069062BB6C65F8D7DCADFA5747E24EA8F7148734CED5FB90D5 |
| SSDEEP | 768:BeFu2EiKqL8gLlgMwjBkzA2LySCj41Km24NVL2N4n5BSbnyA7rY:BeIZfqiMMV2OSu74nq4nwyWrY |
| TLSH | T170130886950246A0D5FF8F74D328D044938F0E8FA2B9075A5526912CEEDF6DF38A52CF |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/ssr/ssrfun.vo |
| FileSize | 81502 |
| MD5 | 8F6743C64F765AE07DEA1529C83A1F4F |
| SHA-1 | 0145059D679FF034E1270AADE1ED4508F1552000 |
| SHA-256 | 7CC3613E5AEF6BF4008737121248392CED8F1826D0DF83BE21A6C36A59490232 |
| SSDEEP | 1536:TQD4gg8cgUy+266FARZpNfvDaCbprfBI371BrG:TQDkQd+r6i3Zb3A718 |
| TLSH | T1C883D66C9B5B9CA5C8D68D7DDB566A417BE439CE7237C246410CFB240CC86E7A02F386 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Sets/Relations_2.vo |
| FileSize | 10316 |
| MD5 | 1585FD293F9FC12F6730909B9ED42988 |
| SHA-1 | 01788013D1214DA310D45B23600F996E3EFD3E1E |
| SHA-256 | FAEA67FC7E6B398F1848E7165702E5EDAAAB25DEB6B5302C4AC7CF814C246EAF |
| SSDEEP | 192:/f5jYALcv7SACmnOr4Bnnvlklq8sm7lqfUIYVvg/r9PpRAVsqFLuF:H5jZNevlkfk5gvkr9Pb |
| TLSH | T12C2271BED2980D96D8DA4EF4DB76A359238847CF5333BB4A4084D3841BD93CFD51A24A |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/FSets/FSetInterface.vo |
| FileSize | 81445 |
| MD5 | 80064700AF4F59C7ABFAAB5A31C8DE45 |
| SHA-1 | 01C25FC6634160F743CC454EAE5542CFC5139C6D |
| SHA-256 | 8485865FFC6EFAF4185BDB300B9211E04597C3EFF4349480F1718C703E7CB7A2 |
| SSDEEP | 1536:G5I9BRwS0frNBagg7/VJyvXf83c+XzvY3Btl2MIw5o3Q8SyO3zy:G5EBaaXzgtUMnKCDy |
| TLSH | T1D583176D29C799E5E286DD35B714B070C7D162FB253EE6072D0CE72450E7AABA04238B |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Numbers/DecimalPos.vo |
| FileSize | 115711 |
| MD5 | E372EDDB7C3407CC7E2AFB24683FD406 |
| SHA-1 | 024696698E95E404DC0B6EDAD64CF674B79DE521 |
| SHA-256 | CCD13CEE094B5C30EBB305DB09C271655C3FC4C42296D13AFF7A43B937AC90F1 |
| SSDEEP | 3072:65lQ8exCqmeJf6NTXmEmhXR10V/ihomaSROBzDYw:YrpCJf609hh101ifvRWzDYw |
| TLSH | T1EFB36DA5D0159DB1D8FF8EB4DB28949027170ACF41BD1B845A28902CDFDF1EF286A19F |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/MSets/MSetPositive.vo |
| FileSize | 205899 |
| MD5 | 65D583A41057D263DEACEB9B99B3D5C0 |
| SHA-1 | 0295A619588D7A4289FB85B7208E74EB7D1C8A01 |
| SHA-256 | 6FCDF259736DEABA7F843EDD2274ADB7B06B5C2DFFCDF891E7D01560CFCF3D84 |
| SSDEEP | 6144:qunTEAIFnJyFe6S+NMMu0f1vHDqqiN310w5:PnTTItJx+NMw1PDQN3m0 |
| TLSH | T1C914AEAAA2505CB5C8DF0DB4C775D081731749CE52B697C31A1CA16C8DDA38B28EE7CE |