| Key | Value |
|---|---|
| MD5 | 449A4C7363A2F8591188A5C0D63256D9 |
| 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 | lp150.1.1 |
| PackageVersion | 8.15.0 |
| SHA-1 | CD26202553BF46C6D34E736A8514EEB1CA0249EE |
| SHA-256 | 5B6868C8A6E943EFBE9F2CBE0099C7C74CBA036E2F062D8B44BAEB99E1834102 |
| 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/ZArith/Zhints.vo |
| FileSize | 20456 |
| MD5 | 4BDA7078285D24E706679335A2C3A9E0 |
| SHA-1 | 00840B4C3D54CAD70FCC3D044F90530EB2747F3E |
| SHA-256 | 349919AA2A1F7CF07D96E4B728D0D858F06C2729E4E9A922CAEDCCC19CE7C9B6 |
| SSDEEP | 384:0UGOSTn7cXl/nWElYtCazpgi2H8snGt/3:0UGOST70l+EytCcpP2HPw |
| TLSH | T19E926305D19183A679B6CF302A7820D404871E87A35E17693D38932CEB5FAEB3EB5713 |
| 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-core/library/library.cmxs |
| FileSize | 447344 |
| MD5 | 750C2017A9F71F89E36F93C005AB7D0D |
| SHA-1 | 00F522ED4735689E5F7E9B15EE87E1F629B0EA73 |
| SHA-256 | 704BE98C0A70050F0E068161203832CE80BC3D48766AD6781ABFD7C99E4CD7B3 |
| SSDEEP | 6144:mdNLFpYLHnF7yP4Ef57hywDTDI3u8vj1WtrOR2R/CoF5OTuC:mdNs7nF7yTV9LR/Ciku |
| TLSH | T16394D58FF698CD3EDDAE9175C85E03A47371F1817B406B1B66D4B2781FC22A90F5A281 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Lists/List.vo |
| FileSize | 468467 |
| MD5 | 0A544608B347A67E6FDF65DBB0FD92B6 |
| SHA-1 | 0230B9C2DDE3A25900E3BE93F6D077A08FA2CDFC |
| SHA-256 | 8FCA7B6240CFBFC54106239466EF9E4249F284D9D81CCAD1997531BD431A88D6 |
| SSDEEP | 6144:bK14NTSwntTZkPlbm4gKvRqXsGB6409ddG/HUDHRTO+J11tST8I:bKuNT7oPlpgIRz9HGcDxTL1kD |
| TLSH | T1F4A48DADA5565CBCC9CE1DF8DBD2918063D22DDE7137A2C3481CA31888D63D7E42A7C9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/setoid_ring/BinList.vo |
| FileSize | 16009 |
| MD5 | EBA94E5A53F4C15670ACEEE5DAFCB2BE |
| SHA-1 | 027D01113A13528EDBBACB269F5022CE51B2A7DD |
| SHA-256 | 799FA5F7B492195E22D19EBF0679BD4C624B1EAA306BD5170088A3E98B00561F |
| SSDEEP | 192:lDzhaltgG+Bx6STnXpwfMLuGN+T5CY5HVFB9hNG+HOc46LiR17Wpt8MCKPAp:lUGOSTnXp/P4YYtVHl46LS16pt8B |
| TLSH | T1C672834A955187E2D8F5CEB4DA383189518A0D8B931E7B981170822CDB5F7DF3DB4287 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq-core/pretyping/pretyping.cmxs |
| FileSize | 3184520 |
| MD5 | CC1C9A1C89E9EA264B34200C97C69998 |
| SHA-1 | 029EF59F067D370068AFC56DBF24B0118FEB1E33 |
| SHA-256 | CF836A473DE2DAE5D41C68BF2CC60B147D4989A6BE041FCEF589EADB4FDC5103 |
| SSDEEP | 24576:nx2m6lxfABdfh8HotsXjem/knMioxPysysDla6FPG7TF6Pjaxa9yRkTfp/SQ5P:nx2mM4BqoOXim/WMioxPysyV9ANSs |
| TLSH | T101E528476A88D8BDC2FE8176C47B06726A32F4647E516F1725D1B2201F839A92F6F3C4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/micromega/DeclConstant.vo |
| FileSize | 20915 |
| MD5 | BD550347DFABD3AD5E73060A47D888E6 |
| SHA-1 | 02BB8B80C2E95B99DCD861F9CD133FE9B3E10369 |
| SHA-256 | 595EEC070F4BDBAB3F5592369470E7B60CA4A5534F55BCAF7351244E866017B0 |
| SSDEEP | 384:9v6BHTnXcXm/gCC/cCXHwPYtCozubriIbvcoRyzBUkU:9v6BHTX0mYCCh3wwtC+ubWIbv9II |
| TLSH | T1AE928346D21187E1A4B6DE344A3871C4058B1D83A31E6B6D5638826CEF5F7EB3D72383 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Arith/Div2.vo |
| FileSize | 21204 |
| MD5 | 5D7167A89BA62572D27EC498E6791E54 |
| SHA-1 | 02C56501CEC6204B02542E813F2582D9D8FB1C28 |
| SHA-256 | B1D33CAE5983100805BC5740C3DCF680A5C5FB762E26394E2F4179CCE3FFCA5F |
| SSDEEP | 384:1v6BHTn+2ar0VYtV26Q8ydupXJr3dX3PUbdIs+qFEr:1v6BHTJitV2pdWXbHP0eqFM |
| TLSH | T15492F8454442D2D298FA9EB8AA34A045825A0CCF526E674D6D38822CEBDF3DF3C757C7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/FSets/FMapAVL.vo |
| FileSize | 4430062 |
| MD5 | F56426B3DAEBD35DA7B62F29FC6E4E57 |
| SHA-1 | 02D76F747FA4F4738A758A4CDDAE29184F611517 |
| SHA-256 | 792AEF4448D72E9375E41C4890F8408D2D53047822DF395190BB108D02DDFBC4 |
| SSDEEP | 49152:szIE/OjUM7lk2eGCSjas19zejJI4QtQYg:sM0m5eXS4CQYg |
| TLSH | T1D3268DFDE1959B78F08D4D75F34E6129A3E7311D82E60684D50FE3206AB321E66C728E |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Init/Number.vo |
| FileSize | 21015 |
| MD5 | E726256712EFF67AB81D138901E68DBB |
| SHA-1 | 02F1CA56D8D7645468EE30DAA0B1851F8757717B |
| SHA-256 | 20DC2AB014C96A216DCBEB27BB1393C0896F6428FB978E0B096BF917B518D2CF |
| SSDEEP | 384:W0qwNyfM4gjAy+BNdKG/X6O/pPj8sNlab8RV:W0bNyk4PdX5ysNlaYv |
| TLSH | T13692D72AE2A45C2EC5EE1EB4D6AAD205A7AC634D93B7A3431C0BC1941FE705779C734C |