| Key | Value |
|---|---|
| MD5 | 15A1B2C3085CD71F3359AA6297373060 |
| PackageArch | riscv64 |
| 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 | 750005414925B5EAC5EB839B914FD5FBB77466DB |
| SHA-256 | D4BF29DA5BFAEFE04FEC2238ADCF52AD908D053F90BAB15C137C504BB5FE682E |
| 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/extraction/ExtrOcamlString.vo |
| FileSize | 14193 |
| MD5 | 97ECD299B5C9224B60DFC777E44A0ADC |
| SHA-1 | 001A61D5E498C791269F49B116DC37E1A63C83FC |
| SHA-256 | 0BA2501793A2A6F95C6D7325A71B66C0C643342F566CBAE6C3F099D32B4EC5FF |
| SSDEEP | 192:phgwthWnu2eGmaPxhdkJxV9SEGJcYGffDkPlIZ7dxYsFQrLsqtcvswMQgeCE:pLPku7GdkB9rNfD8+ZFQSSeB |
| TLSH | T17D523D019651CBA168B5CF314E3824C8244A0E83935D6B6E6A35465DEF5FBEB3EB0393 |
| 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/rtauto/Bintree.vo |
| FileSize | 71848 |
| MD5 | 7497CE13E8F1997B7C0C82DDD77C81FE |
| SHA-1 | 01763ABF77018AC29A3DCB240DF5DCBF7EFE7A51 |
| SHA-256 | 05DB950FA5C920BC72E3698DF0EA868DD970CAEC28728EC8A320FDF6597F1BDC |
| SSDEEP | 1536:x1zxKsmFubHYEI+v8amjkuXfkyjoPrdvlpiiuG5:TzbGCPI+0zjHXjjoPr57i+ |
| TLSH | T1CC632864A700DCB5D9EE4EB4DB3ED10973284ACF537B1346091AE2284ED73CF669618E |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coqide-server/core/core.cmxs |
| FileSize | 54816 |
| MD5 | 33CEAA4B08EC13E7730B87B27BD114A4 |
| SHA-1 | 01ABEB8450502A0663FDE7A8C464AF750DB124C9 |
| SHA-256 | 118AFB40346965F8C15C5D0B357BC8F4F809D2306DD851A7DBFCB1FCD9255574 |
| SSDEEP | 384:/i1JWcTvk9VSDrrJt/Yd092ezqDAW45aHgOcZZRgs7NXLLtJiY/2/5iA:/8UcLk+70d0KAP5xOuqsLLrx2 |
| TLSH | T1E23376D269CE8B3EC8A9077378F746B427A1D0853D7FAB536684211498977C8F7A0EC1 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/ZArith/Zeven.vo |
| FileSize | 40795 |
| MD5 | 09CA3D4E6EF13BC82A98E0855FAB3804 |
| SHA-1 | 01BB6041303CD2A58037E5A30888BEA634A8A7C4 |
| SHA-256 | A5B422382E4BCDD2408AED280512263850E56176CC3683B3B570113E87EE1C05 |
| SSDEEP | 768:0uUGRrUZJ4GiyZghs2SzmowFOdfEhr8FyC:pUxZJ9aq2SzmtMtEhLC |
| TLSH | T10A0318519742C965D8FE4F7CA7349404626908CF93BE634A5D28811CEFEB6CB39A13C7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Numbers/Integer/Abstract/ZBase.vo |
| FileSize | 72742 |
| MD5 | 9E87CB7130B19933D2C317B774AC4614 |
| SHA-1 | 01C0574ED4AECEDFD36AF5A1E2DB9AC54CDC47FA |
| SHA-256 | F1704D35BBABAF7E02D592C68E8479CE972945EEAF1293C427CCEE81F00740EE |
| SSDEEP | 1536:PS21m+ShPJMABtBkapLve6ncG0x05mc5nkrvtvMn1fxXY:aaa7kAel20vtUnZxI |
| TLSH | T10F63E6C3A55790A0E5519777B325B828D3B50D3A433EB7C4AC2FFC29C28768694B13DA |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Numbers/HexadecimalString.vo |
| FileSize | 374335 |
| MD5 | 8D25F5F075658DBBFD76DF1E375C5F0D |
| SHA-1 | 031F0F11082D657FC909EDD6AD5C49D6F159D88B |
| SHA-256 | DD17728A38064BB5714C268E82CEA152D8A72671C8BFBA24F90979C998798C70 |
| SSDEEP | 6144:IZ5cKDWkm19Fy/rJKBc0dpJtK+GE1wJ3LC8oObp2xComg6y+UfZnqEf2mDcGW9/5:M5ZnmgjJKBc03K+GV3LCD82x/txqEfhQ |
| TLSH | T1DE84EFFAE148EDEBD47E9DFBFB1070D239D3488E05297662260C443ECA9758D419CB1A |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Sets/Ensembles.vo |
| FileSize | 21419 |
| MD5 | 503BC162D196B19C18508305B1CE6421 |
| SHA-1 | 0481F092F1BC0E9EA20FE621A7D4633B171BACDE |
| SHA-256 | 2E6563FB3A02C05D291DB955F8979E5BD20AC976639F9CDFE00F7C69622F2F1E |
| SSDEEP | 384:j70M4ZO/di7I4yxvWHCExrhL8J2XnU46bOA:P0M4wowudCYnUjyA |
| TLSH | T145A2E77CEB541C44E4DF0D789BA2E244279941DEB1BAF6874C48A3450EE9BDFE00B2C6 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/FSets/FSetCompat.vo |
| FileSize | 190721 |
| MD5 | 26A586F09DC68B67F7690B2AE18772CF |
| SHA-1 | 04AB5B1736F3B3CFDA084471B458D28EFA916E0D |
| SHA-256 | F6E07C56AAE32839A40FA07847D33AD10EED8D902E2B34C2928F474F604FA77E |
| SSDEEP | 3072:+G6vtst3AhegJ0jfVV9/EJ2mWYXh3PErn4b9Th1d1OguhL1YN:/Tt3qJ05kJiIhfEr4JThrWY |
| TLSH | T1AB143B19B90386BCE0964971FB92B0F0CBD019BF517EC3995C2ED25498DB79B88A53C3 |