| Key | Value |
|---|---|
| MD5 | BC0491BFE94676A618AFAF551B197C03 |
| PackageArch | aarch64 |
| PackageDescription | Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. This package provides the coqidetop language server, an implementation of Coq's XML protocol which allows clients, such as CoqIDE, to interact with Coq in a structured way. |
| PackageMaintainer | Fedora Project |
| PackageName | coq-coqide-server |
| PackageRelease | 3.fc33.1 |
| PackageVersion | 8.12.0 |
| SHA-1 | 46B9EC5679731AE653DCCFA1D89E2331ECCB1A0D |
| SHA-256 | 30B52D30F7A09A8B80CB9E3D2F43D69ABD1466467881E0ED29D0085807B63943 |
| hashlookup:children-total | 64 |
| hashlookup:trust | 50 |
The searched file hash includes 64 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/.build-id/f8/ee8f374f83798a566a93b0129b36c1d20ac6fb |
| FileSize | 56 |
| MD5 | F436FCE5C7052A6C40C77787EEDE7537 |
| SHA-1 | 007D9ABE25978BF34CF66AF41B92759FBE96830B |
| SHA-256 | A7EAF49A1E4940C77F08082894FEF86C72F79106FC51AEC10125CF927C7CCE3B |
| SSDEEP | 3:gCD/LTAYXAdKXuc:X/A6e9c |
| TLSH | T1E5900230C93CE9957250169051015C583B446C8177146E01291F4176E1026490164881 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/.build-id/90/c71e7dfa49bdfc9d7b0a4be1771dedf016d972 |
| FileSize | 64 |
| MD5 | 4CCAF54748E2B7B5D0BE7B702312B91A |
| SHA-1 | 0426820024AA6A76688E5A92DB183EC356CA3AB0 |
| SHA-256 | D820852334C1C3B6091CC8D7B66DF92970B3BDB6BA0F1464FAA777CD4DCEA88D |
| SSDEEP | 3:gCD/LTAIPJ4PJyT:X/Ai4xyT |
| TLSH | T12AA00230E53EEBAE70C0149051413C049F4C4CC1B7146E01221FD576B1C298907A0454 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coqide-server/protocol/xml_lexer.mli |
| FileSize | 1468 |
| MD5 | 56E6F6AFA570773479732F6D59FE85F4 |
| SHA-1 | 05C3823CC75F03C28D317DF2AE0ED4A01EC7E079 |
| SHA-256 | D33B8802B7CE38592C2461EA83AC0A308644347D712540BBFBA1B65DFB268F52 |
| SHA-512 | 40E6CA5E2935214D04A74D6F9B55C367A16D95EE028CB56FD73218232DB51D09149AC896513E6F3C6BB5A0E941FA1365023525FA8EB13662DC55766C8058E487 |
| SSDEEP | 24:IRWUxuL3aZlnXNS7yvVXyXOkH22TbV78GP/tCaEaL+8AooSbJeHdcb:I8eQutyxHUGP/tCBq+8bwub |
| TLSH | T14031441426804B375CF20198334954D6E62256DF326420F0788E923E6F4EA365FB2FE0 |
| insert-timestamp | 1664889635.825166 |
| mimetype | text/plain |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coqide-server/core/document.cmx |
| FileSize | 827 |
| MD5 | B23ACCAA5803E6747765F53A239ED07D |
| SHA-1 | 0C2C9A74D8CE2A7EA39D7598DB7FF3F63555B57D |
| SHA-256 | 8C63EFE6D29E5E6085482E2AC9F9E57B238087EB5013C85CA4B41E400B0E97ED |
| SSDEEP | 12:CnoSQBX3bfz0V/egRAW91qJ78J6hQCWeVEjr1LWCLBAkCmDbMcq3nFeHF:TSC3UVGmp9c+hCWe21LVLBrnq3nFW |
| TLSH | T16D01413532A14B92BDB763373D89908F83306A1FC5D410A289EE8E081173C59D0E9C4C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/.build-id/53/57e853f87a17c6fc6fc5b73af48e7c017afc2c.1 |
| FileSize | 33 |
| MD5 | 674C411721A0C0554468F2625E6E885F |
| SHA-1 | 0EE1FE3F2BE680BA9A4E567FA83B19D972346F4B |
| SHA-256 | 9FE4831EC0668F0C4663EC3010A8BD4F84229F910A15F538DFAAAF3412C88C42 |
| SSDEEP | 3:gCDNU3hKVRn:XvVRn |
| TLSH |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coqide-server/core/core.cmxa |
| FileSize | 834 |
| MD5 | 639CA50CD6C1AB58933FD516DBCD60D0 |
| SHA-1 | 0FAC62C95183B44864168D420DAE26EA280A5877 |
| SHA-256 | 19523166B45FCEFF984455645559935B057EE7D6F1E1C28EF1561C84D6D4EDAE |
| SSDEEP | 12:FhSQBX3bfz0V/egRAW91qJ78J6hQCWeVEjr1LWCLBAkCmDbMcq3nFeHXl:FhSC3UVGmp9c+hCWe21LVLBrnq3nFS |
| TLSH | T14901413572A14B92BDB763373D89908F43346B1FC5D940A289EE8E081173C5AD4E9C4C |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coqide-server/protocol/serialize.cmx |
| FileSize | 608 |
| MD5 | C9EAF644EC8A02D56985118DC2563849 |
| SHA-1 | 17B615DA982F8D59984314D589753EB58900524F |
| SHA-256 | 8739CD733FEBFD484FA910E493050AA5A3E8BDDF28738454AD6D2AE6A1FBB970 |
| SSDEEP | 12:CrNutl4orgY3JBX3bfz0V/R3C6hQhr1LOCmDbG2q0q3UFGk:KAtlzrgYz3UVp3ChN1L+Fq0q3UFR |
| TLSH | T179F0E15032505FC2BCBBA2297C4561AF4771B6598CD624B240FF0F6900729BA85CBD8C |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coqide-server/protocol/xml_parser.cmti |
| FileSize | 16742 |
| MD5 | 19870592B5DD9632DEE0DA4645CCD724 |
| SHA-1 | 1843ED107716E0FB5A3FA2877CC3202C9127127A |
| SHA-256 | D7E827593D87F7C5B5695F7876626D27E7F75BDA2451522D57DF5238BFFED3E0 |
| SSDEEP | 384:LEvOKyzHKgrmVlzgnOUV+DP7/PTI7f7suS4mzNmM:LEmKEHKgrokADP7/LI7fIuS4yNmM |
| TLSH | T1D972FA17E1040737EC022AFF268A41A59361617D91FEC83EB14C06E877D285F9B736EA |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.cmi |
| FileSize | 5396 |
| MD5 | B246F314C87E4C05CD4BAE87D321D608 |
| SHA-1 | 185614846D0DE6574838C004EC8C8B5AA795EAB0 |
| SHA-256 | D932C35D7AD01856EADC0FB2375963FF3298CF056D3A113D29E8F8EFD00C9620 |
| SSDEEP | 96:Z6QfzSnsLOkvEpz/CR6Zjw1IXDDlQ6dN3kUvHf6L5t:Z6QGeOkOzpw+TDeIJHf6Vt |
| TLSH | T1CCB13E1F53224B69ECA4699D5788437B5F242B7ED1F2CC7FD51A5FC012A901CA3A80C7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.ml |
| FileSize | 41401 |
| MD5 | 89065A84D0824614AD98D4233FA07BE1 |
| SHA-1 | 1D02FA8DBD802E0FCA674391D9443C9414CFE900 |
| SHA-256 | 13583920061FC48E0617D7FB31E7D02D31AC76045BC28774D779F460EFED1002 |
| SSDEEP | 768:DNi1roazNqgZQKSp00gGpGzKESmbM2Ic3ZVyXo:5i1roaAMQKxGpG+LQx4o |
| TLSH | T15303763175A06A331AF340A095CD18A0BD71DD8A3EE178CDFACD90943B6BA5581F7BA4 |