| Key | Value |
|---|---|
| MD5 | 23884A6EBE3FE75847E831B1CBD59051 |
| PackageArch | armv7hl |
| 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 | 1.fc34 |
| PackageVersion | 8.13.1 |
| SHA-1 | 16B2D052CB83311298EE00378ACED9CA58AF0C00 |
| SHA-256 | 953CB0532569425C2A0186D12D6C8CEB60E58429B272B3DC0220A91128FCEF63 |
| hashlookup:children-total | 5 |
| hashlookup:trust | 50 |
The searched file hash includes 5 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/.build-id/53/57e853f87a17c6fc6fc5b73af48e7c017afc2c |
| FileSize | 29 |
| MD5 | 4CC9624A8BC981CB8EECBEF532CF8A30 |
| SHA-1 | 09FD2B1748D5C5AD761DE1471E780A43BBF11CA9 |
| SHA-256 | 416805D97FB69C7223B4969E453094171354091B4CA7DFC016CA268D331CD067 |
| SSDEEP | 3:gCDNU3V:Xa |
| TLSH |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coqide-server/opam |
| FileSize | 1051 |
| MD5 | 70CC9B7A44E3A0730B211D66F1A2BED2 |
| SHA-1 | 440D627E367513C368A1CCE6AFA59C318D292D42 |
| SHA-256 | B4BDC80DD1A98F2E2F1144BE01968E4CDD5323297B249C162F307C2600D02D0B |
| SSDEEP | 24:qGGvhqtPs5FcMSQK+XA/qY+Zvx2nwYcRJ0sY5Xmir0n:8hqtiFzK+Q//+ZvU+CEIA |
| TLSH | T139111237C54E4664B5880490AC9926E2BF7F6A8B43B01456F1DE441CBB43DA013ED631 |
| Key | Value |
|---|---|
| CRC32 | 00000000 |
| FileName | ./usr/src/linux-headers-5.15.0-1031-gkeop/include/config/ZSWAP_ZPOOL_DEFAULT_ZBUD |
| FileSize | 0 |
| MD5 | D41D8CD98F00B204E9800998ECF8427E |
| OpSystemCode | 362 |
| ProductCode | 15758 |
| RDS:package_id | 304062 |
| SHA-1 | DA39A3EE5E6B4B0D3255BFEF95601890AFD80709 |
| SHA-256 | E3B0C44298FC1C149AFBF4C8996FB92427AE41E4649B934CA495991B7852B855 |
| SHA-512 | CF83E1357EEFB8BDF1542850D66D8007D620E4050B5715DC83F4A921D36CE9CE47D0D13C5D85F2B0FF8318D2877EEC2F63B931BD47417A81A538327AF927DA3E |
| SSDEEP | 3:: |
| SpecialCode | |
| TLSH | |
| db | nsrl_legacy |
| insert-timestamp | 1763484319.2628374 |
| mimetype | inode/x-empty |
| source | snap:cOhcnGRuLnrE191PeBJfVqxy4SchgsIV_2 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqidetop.opt |
| FileSize | 14197688 |
| MD5 | 16E004CDDB0EA7824DE5DF0F4C061E9C |
| SHA-1 | 25D2D0DA83C38349A83A3646D2671E5FB07B5480 |
| SHA-256 | 23E2E8A68F943EB55D2BD245BD822B645AAAD0DBE4A3DF68D5D0881F384F6CC0 |
| SSDEEP | 98304:NLvrolsa9UL2xnCVs/LI87+OXA7j27NUPOPo0Pp3rs5yg0r6GHZmattXDIOtbgYG:Nzha9ULoqsE8qGACNU2LRngn4UY |
| TLSH | T15CE67D57BE0C6C2ED5A7A670B0AB674BD324F1407AE257435D0E32656FC20E41B3B9CA |
| 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 |