| Key | Value |
|---|---|
| MD5 | 87C9261F3F8660F3E90B6C757D9AD8C6 |
| PackageArch | i586 |
| 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.6 |
| PackageVersion | 8.15.0 |
| SHA-1 | 73B8613CB706A3EBF172484BC1C80D9F3A11DEE6 |
| SHA-256 | 43EEB87CE40B867912570C7A2418B94380C879B6AACCFF0FAFBED73671AE22AC |
| 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/lib/ocaml/coq/theories/Numbers/Natural/Abstract/NSub.vo |
| FileSize | 133257 |
| MD5 | B1B517DBF78FC4135934B1C057862D25 |
| SHA-1 | 0041444F999EC25C8FE16EF232E8E26120A02635 |
| SHA-256 | ECF9D05109C558A1C50A0692D49A3064B828CD321CF8AF91135242848794B840 |
| SSDEEP | 3072:k5DZ6zGJmk1oRXCYvV7unm987kiqikLYEFWNzaIXm5I:uN6z4mk1oR1unSokiqikLsuo3 |
| TLSH | T1CBD33965FB478863F896D5B1F308B82AEF6907BD02BF46C58E2FD42489C73465085EC6 |
| 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/lib/ocaml/coq/theories/Numbers/Natural/Abstract/NLog.vo |
| FileSize | 165313 |
| MD5 | CF44BA98CB97706A3B7679EB83D4B29A |
| SHA-1 | 00F2FD371D760813DA90ACA0270DFE77EF312C60 |
| SHA-256 | 6CBF0B6384FDD8C1A6A060B63DF64BB7A6A1D2643F9CDCCEBB91432BEA6DE2BB |
| SSDEEP | 3072:7WnOC1wkVxZBRXiJsoEtj2KYk/F3zqQ/H183PGXVAs6PgGKuEBaB2a:ChVrBRXgSj2KYk/F3zqQ/H183PgViPga |
| TLSH | T15FF3B38EB55790B1DDF446F6B3367038CCB48B3C727E56888D1DD36C858B8A640AD2E9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/theories/Reals/Rminmax.vo |
| FileSize | 63237 |
| MD5 | 6BDA43BC021ABD2A7BF53ABC0BCD0FFA |
| SHA-1 | 01E06E3B68AB22672EDD31D2541A483A3DA568BE |
| SHA-256 | C20117629677531054712B1A5365C8F8C74FD06A2B79D150282058DD6079496D |
| SSDEEP | 1536:e4cp+EGJZexEr0X8ti6jSbkeiKDuQoAR5A6pyWeYz/T0:fc2ZSG0962LCQoAoye/ |
| TLSH | T1FE53D589E1519B70D9B6CE3096386090D6590E4BD3BE47562A36812CCFCF6DB29F13CB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/theories/Reals/Ranalysis4.vo |
| FileSize | 54400 |
| MD5 | 2D499D2DC242A1B00C844C3ED14C012D |
| SHA-1 | 022E4F0D466871B79D26A6029CF1F3DDDB542B8E |
| SHA-256 | A9D312C3C2460017C8A1DFE583FC11378164106B6BF386A7CB0B0A31516A9801 |
| SSDEEP | 768:2AMNwPUnz+0RGf9hS82nZH2LlIp6uXrWR+4EipE2J2m4n9JBZCe2M4YsHqw7fQ8x:2ACp+EGLFIH2LA6AyRlptwFnrB01XHFb |
| TLSH | T11533F784E1129BB158FACE74EB3854D195420C8B837D1BA5AE38806CDB9F7DB2D71393 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/theories/ZArith/BinIntDef.vo |
| FileSize | 55217 |
| MD5 | 7CAA834AC8212749D5DDE9DED532FC14 |
| SHA-1 | 02446C02121CAB4FD7D876C736134EDF3ACA2189 |
| SHA-256 | 277901A1A05C362DBBBAD9222F8D5B546BDEC52458CDB5DEBB477A9B9692281B |
| SSDEEP | 768:29AMNwPQDdyz/6+vgdIWfWTJkIe0a6bAq:GACbc1vafkJsJ6b3 |
| TLSH | T1444386487350454FCABE4F348B738A0063AC968ED6267B03644DE64D4DE739B29EB74B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/theories/Numbers/Natural/Abstract/NOrder.vo |
| FileSize | 102325 |
| MD5 | 723FE8B2D2707AE2ED5BC979428BEF78 |
| SHA-1 | 0276A3E83AC6A350451DB486E9C0066ADDA77272 |
| SHA-256 | 1F079CD40B84DDD1BA805A14AEB1BE955F0868995D88AF8BD4F98F46BF43492B |
| SSDEEP | 1536:Rha5C0ijW1ZnrSMPVfivvr6nWXPwiiflm5PbbHWtOUhYP2O7XkAFzl:HaMa1oUInr6nWfnBPHW4UhYP2OQAn |
| TLSH | T124A32A75E68790B9DA5532B3F384A8DCC1BB0B7D01BDAA169F2DD65487CB08A1CC31C9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/theories/Sets/Image.vo |
| FileSize | 23966 |
| MD5 | 1C83473E639727411681D85B30740C74 |
| SHA-1 | 0292CDA8EA644149491284C8C770118F22E565A0 |
| SHA-256 | 12BA480BD9A98028D9404A86E4C92CC90909ABAF40C8FF2DA72A4DAA9BA273C9 |
| SSDEEP | 384:nYyDPD77MzTURFkIe6BItYFMXeuS9r/kTE1a:nYyDP/MmFkIeiX0EI |
| TLSH | T1B5B2D78A95158AF1DCFBCAB48A306254A1054ECF433EA75A1D25531CCB9F7CF3A78247 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/theories/micromega/Ztac.vo |
| FileSize | 27690 |
| MD5 | 9A9BF6D797DECB9BAD5C87764BBA1835 |
| SHA-1 | 02DEA2D6250F81DFD0279D6EF24583B14907F656 |
| SHA-256 | 4DE9647442C7FCF80417776FB7043BE9E564350390D6E8C3B820FAD32BB645FF |
| SSDEEP | 768:rA3lNwPBnV7APNqpZmu39IDd0IiUi3pPXZCJYf:rA3/C7hF3+TS3pPJTf |
| TLSH | T1EFC2C70DC65083A2C8B3CE388E78758446450E87D35D5B2A11385A5CDB9FBEB3EB12C7 |
| 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 |