| Key | Value |
|---|---|
| MD5 | 6C25EEE22E5FFC474DF50978475EA750 |
| 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 | C1C14F991E26C2DAAA262F01DF4A0D8879DC4060 |
| SHA-256 | 8058D69FFB9753519A15083D2C00F839F1AFE1783215622D3D194FD373ED510A |
| 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/bin/coqproofworker.opt |
| FileSize | 20231536 |
| MD5 | EADD862486BD1EEF4354A890891BA20A |
| SHA-1 | 0033930C8D3939B77E8D863F90ADC7236C015BA1 |
| SHA-256 | F053F4F101CC837E1FED0FCAC3BAFE636F83A0B78A01223E6555F09B7B578C50 |
| SSDEEP | 196608:7fWOk449AicmWHYRPHPjHipv9eo1cpRN6kr7Y91E+UiVBj5eyKFO/oY:7fuWxO++Xo/oY |
| TLSH | T10C173B5BB9CA557DC3F9D67685B66772BBB1B02926417B2318D063210F038E92B7E3C0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Numbers/NatInt/NZDomain.vo |
| FileSize | 79529 |
| MD5 | 153A736A64BB6C848B6143F48F27191E |
| SHA-1 | 00593FBBB7B3ACDA417E0C1FD20E11896CED121A |
| SHA-256 | 21F6196CF050441E047A92B493E08A715E2346A69EC793486C28043D9789EB8F |
| SSDEEP | 1536:y3xMFrCJV8u1FtBZSn6ibY3DuYpsJvfZ9lZlDUmlz5CfBOLq:y3zoubIts3KlJvfZ9FDUmF5m8m |
| TLSH | T147733B81E90381F6D4F995B5F724A010E8780DAF81BED2C55E1DC32BCBD798E64872E6 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Numbers/DecimalNat.vo |
| FileSize | 84372 |
| MD5 | E4BE17582C5373D55CEA2A87062254AC |
| SHA-1 | 0065F63D32989AEE753C8040BCC5B51C2FC6181D |
| SHA-256 | 3E891A7334064A1F482748FE77553DE4E58F38DA90BC8AAB117DFF2A2A430C59 |
| SSDEEP | 1536:YggELC68pBgVdq2p5OtLp4geUZRMLeLFFbC0SCtVSRYek6U+ZoFRfiY:YgR8p8dqwk6UZRWgC0SmVCk6Uy4iY |
| TLSH | T15C833A64D1089EB5C5FFCEB4C728A4845613088F42FD1B945A79802CDADB2EF6CB619F |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Sorting/Heap.vo |
| FileSize | 55154 |
| MD5 | E52F10B22FF14AF6C4D35958C9EB9DD1 |
| SHA-1 | 0084F8AF6F8CB54AFC2887359AC8572AFF678504 |
| SHA-256 | AD9E19FE27CC0C385A55C4738D7121003DD27BB72C45CBB0C6FA4B8330A54B2B |
| SSDEEP | 1536:iggEWZ76JyxfMG7HIN8EfPMdBycP/OGHcvOp9O8cGJT:ig7yxUG7oNnMdBFH0Oy8cGp |
| TLSH | T160431A64D5208F60D8F7CD748F39618025010A8FA2FA5B8A1939535CDBCF7DFAA76287 |
| 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/FSets/FSetPositive.vo |
| FileSize | 191926 |
| MD5 | 6C9FFF469CB410BCD826BC15E1A7232F |
| SHA-1 | 01041B94246387D8708652D7953550FFDECADF93 |
| SHA-256 | 7993B128D32A59D49D5911486DCA4CB66A8144FDB7A20F2E8BD2326C969134A3 |
| SSDEEP | 3072:MIYr1OFOptOQpbKUROKHx8UhPUo+8QZ1vkil0GPQ8TeEHtYPYFC1dONOyC:OrcFOPCUlRhPJ+8QXvkBGPfTeIYPL1db |
| TLSH | T17F148DB8F6819CB5C4EF0DB8C774A140276714CF5277A7C7192C921C8AEB39BA4563CA |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Reals/NewtonInt.vo |
| FileSize | 100486 |
| MD5 | 748D72BEBCF66B14A516A2F0F5A2464B |
| SHA-1 | 019065CC9D3D7786F9448492D733AE87B102BD2E |
| SHA-256 | 287AC62A39F324E109B56A4185BA24ED6AC1B50FB06B807A06037D2B6AD52289 |
| SSDEEP | 3072:GMk3Udm8Yi0iDpCZkeozcU3v/ruXajPYYqxqC:0owCeozcUf/ruqj0 |
| TLSH | T1C8A31944D1049EF1C9FECDB0D5386091A5130A8FD3BE1B895A7981AC968F3EB2C75B93 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/NArith/BinNatDef.vo |
| FileSize | 38808 |
| MD5 | A1C1116B0ADA0AA1A1C39A56E327EC82 |
| SHA-1 | 01A51CCECABFB9F31539AF0A2D9DD656A031B7E5 |
| SHA-256 | D02BD8F83682F11DA58F93E52291BF76C1B17218577528F0D35CD9246A4BE130 |
| SSDEEP | 768:JTAWm/tda/5T9XuV0+eTvinRwKuOJp3XsP3M:JTAWidWZ9uV4KnRwMJpsP8 |
| TLSH | T16B03D8897251568BC4F98F348BB1850063A855DBA767BB13654CD24C4EEF3CB38AB34B |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Classes/RelationPairs.vo |
| FileSize | 31481 |
| MD5 | 861CCC4C0B7A55210B12B76E584379E6 |
| SHA-1 | 01D3A2300A76C9245D7A0ACEF9F3287E0AEE1BBC |
| SHA-256 | 07CEA6B772DAFBABE9043AA6325258F5C60C1B034ED9950C46FF0CBBAD98322F |
| SSDEEP | 768:hggEm/EP3cqp2aRUj7dIY9KuOJ0H0Zsyhd:hggE5ce2aumY9MJ0UZZ |
| TLSH | T1D3E20A49862A41A3E8B38F7C97B0410552894ECB323AAB09092D631CDDDF7CF76756C7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Classes/SetoidDec.vo |
| FileSize | 61576 |
| MD5 | 8D48B6CAE06281ED1E55B5DD6CA5D688 |
| SHA-1 | 0259FB7DBD07DFD98294D1511ABE7E503CE63027 |
| SHA-256 | 96BF6E78C23895072716ED5DDE191EC6506CD74E883CAD97335BAC2035E5BB9F |
| SSDEEP | 768:tlgEm/hMkBURGV6cRgH3yKrrVYOFTf59RE3px4TYKuOga4NeQD3G6U:tlgESmGV6cRSBrrVLTxsDyYMga497U |
| TLSH | T15E538749C7148F29C5EE8F30DA7A0746D399978B9737270E1129C158AFCB38B25E934E |