| Key | Value |
|---|---|
| MD5 | D28832BCDD77810D8401C1BAA1EA3926 |
| PackageArch | s390x |
| 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.11.0 |
| SHA-1 | 837A7E0E6418E23A8A7D7367F2FB66F9E693006F |
| SHA-256 | 8D862D7EA46BA671B7673FB16ED18BD854A7E0A3BCBAB709B6AA06310B2E95F2 |
| hashlookup:children-total | 47 |
| hashlookup:trust | 50 |
The searched file hash includes 47 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqtop.byte.1.gz |
| FileSize | 275 |
| MD5 | C85D082EEF138584A662D850DBF002E0 |
| RDS:package_id | 182052 |
| SHA-1 | 02CA91ED439B35E686C7FF49CDD3E8E67EB0E7AE |
| SHA-256 | E790CE35A5A670BB38D1B71AE4A52467D42C425651C8AF23A8273617936C410A |
| SSDEEP | 6:XtCvPuAceBvF2JT+Y5UxHhMutBBlBNduhXM:XMvP3csvFI+Y5UlhMuplBAc |
| TLSH | T174D0E7B59CC920BF8BDD040147101D631787D5DC1581642500471680314954D7673834 |
| insert-timestamp | 1679424703.0916345 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqdep |
| FileSize | 2987464 |
| MD5 | FE05BB25A86F1D8F0EE5826296ABBEB5 |
| SHA-1 | 096F9511BCA2CEB90C0A4C16404A1168ED43901F |
| SHA-256 | 28FF1257F96E7F2D405860DCB5F436C15F79AF2925CD9ECE5EA74F422864645D |
| SSDEEP | 24576:v1UuB4e3HTN5LntIv3ZJ9Qjps9XoNECzr:Cu6e3HT7RjcNqr |
| TLSH | T160D5A8AE241A738DD3BC2E70D2CAD371B1795D1F6769260DCB6963A9393737AA40CC40 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tools/TimeFileMaker.py |
| FileSize | 11500 |
| MD5 | 7D658C8E15711DDE9F7C02221F8A0CB1 |
| SHA-1 | 10E374C67B1AD10F3A542A42F1690387016A252E |
| SHA-256 | 2A75502BE6B73DC208C295B4806AE88377625318F29706625671862B0B03963C |
| SSDEEP | 192:imum7HobaxZeR1xaj0BjqrpR+qhszRMB/j5dAsAurYc/c/n6vvM07/kajILpsRXA:LumEexZeHYjZzAqRDbwpww |
| TLSH | T17F32853A641A291047D3A87B8959B1867304D22723052834FFDDB6683F57D3943FAEF8 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqtacticworker.opt |
| FileSize | 21076904 |
| MD5 | F43CFBB3E28137AAA64E23B30DB2C16C |
| SHA-1 | 14E3DCA2319D6E51D7CF45F7558EFE0524E8076B |
| SHA-256 | E03D0551A306E4E9A05FF5A65E8C847141D2265429C0E114B54B92272E7B6E54 |
| SSDEEP | 393216:Lf90H6alOsUDQhazZWmkl2cKdYAUqVievYBbB9Zzttn2hLr7bUBZIpN8HuVdbt1U:LfKH6alO4l+e |
| TLSH | T14827C2E7AF16E39DC2642D71D6E51324B2B998537EAE734FC98463323C217B2AD19C40 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqworkmgr |
| FileSize | 1348448 |
| MD5 | 7C8BB6675927F871B9CD74F0A8DAB8C8 |
| SHA-1 | 1943EB887079E2D878BF380FA9560EEA5F5311F7 |
| SHA-256 | 1FE6C9C529DB63D54B30813A57E33953B40F5222D285966C4750DB11ADDBEA59 |
| SSDEEP | 24576:rK3eBG6KXglpHMIY0Hr7mOHRCf83mhPLgSW88kUR+ZCAg/2ZqvUobhN9dN4ecsRj:e3eBG6KXglpHMIY0Hr7mOHRCf83mhPL6 |
| TLSH | T1FD55C6DB6996E35CC16C2E72D2C20B7873B698677BDD5B1EC5C8AB313C60370A928C51 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqc.1.gz |
| FileSize | 543 |
| MD5 | 8B28B858F2B73937DC9C8E5E7EC065C8 |
| RDS:package_id | 182052 |
| SHA-1 | 2398BB2A5488D5E45FEF7013F1713FA321C7E92B |
| SHA-256 | CF37BCDF17C49831F7F23E90E5F1E5965DCC1766D6CBB8F5AD63779DA4019C0D |
| SSDEEP | 12:Xyl9LOLTzYXkjQviq3UrplJ7+cGybTUljbNbGWjxILYh:Xy2Lkjqq3Urpb+cnU/dx2a |
| TLSH | T193F096AC87F200F29A26105C418EADD20C242EC971ED82038880C815C24CCE88994154 |
| insert-timestamp | 1679424703.0865602 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqproofworker.opt |
| FileSize | 21076896 |
| MD5 | 4DE9FAD622D6D9C75D994A296B3C2F9F |
| SHA-1 | 2A2B1F93AA84E87B42C4377CBE5EAE70CFFF4DDB |
| SHA-256 | 8B977D1FBDB4DC456BCD16FE1B8DEC3A9D3C2559BF8D8D3389C27A3016452A28 |
| SSDEEP | 393216:ckfH2oPYnU/CTP7AmafIAEwwca6wUfKczZc1n7+5sg3uv7/MYuCDw/9NbBlFwD8p:ckfHr |
| TLSH | T12127C3E7AF16E39DC2642D71D6E51324B2B998537EAE734FC98463323C217B2AD19C40 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqidetop.byte |
| FileSize | 31168243 |
| MD5 | 98E53FF1ECA5B4728BB5E12A3F511B82 |
| SHA-1 | 2B2513FF98F09794E9198BDBC5D3F36BE9E83875 |
| SHA-256 | 29444AB2A1704F79BACD7B11658D22A130518E802A283E195512CEB089A3D63C |
| SSDEEP | 196608:Ek7oRvC7Fl8IopBGXWnWlTEj0sAofQiC5DLumYlVo0+CK560uXGOTZ7:EV/pBG9TEj0sAofQiC5DLumY/obCBBph |
| TLSH | T1A667F60DBB68E471C98819BECCF5CE8B82149D7E66536EEB104C071594CB35F6F09A8B |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqtop.byte |
| FileSize | 40358741 |
| MD5 | 6E7B7A8992CC463AF53D1DD0A4E33F68 |
| SHA-1 | 3B1C28C2BF45FCD8CF1A5B6CF387F6AE5C7B1608 |
| SHA-256 | 01AD4EDE3DBA6D39E2B8554BD03969202157DA4D49C82C84E6D0BE59C340987D |
| SSDEEP | 393216:rqpBGHTEj0sAofQiC5DLumY/6DqeEgDdrfi8c/rov:NTEj0sAofQiC5DLumY/jeDBrfi8c/c |
| TLSH | T17597074DBB28A471C88819BECCF5CE8B82109D7E66536EFB1058071594CB75F6F09B8B |
| Key | Value |
|---|---|
| FileName | ./usr/share/texmf/tex/latex/misc/coqdoc.sty |
| FileSize | 5494 |
| MD5 | D81D07C2738BE88569AC158D76B4A72E |
| RDS:package_id | 182052 |
| SHA-1 | 3C009E4BFA0A7740FD7F721C7B38AFE4883C9434 |
| SHA-256 | 3C46EA94A7954C9CF506F24EFD98F8059B4D098AAF4A3A38A8903473A68EA617 |
| SSDEEP | 96:zp5zUm5Sua7AIzP7glU+c4V1lSjcilL4bSurImGYsBtGosrcS/p:V5zUm5Sua7FzP7AUZ4fCcvbvrImGNtGN |
| TLSH | T1E7B1DD006DBC72922BDB0D46AD54DF095C3BCE0A3B0E96E678BC245187C6B8F029974F |
| insert-timestamp | 1679424703.1018066 |
| source | RDS.db |
| tar:gname | bin |
| tar:uname | root |