| Key | Value |
|---|---|
| MD5 | EC561DEE63D34DD17985E17FEE7F9784 |
| 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 | 1.fc34 |
| PackageVersion | 8.13.1 |
| SHA-1 | 99687C2DF461F476E86B31943384925464F945FC |
| SHA-256 | 243EF511A1A8ACE9EEABB94B993A6162650E81D69428669C83CD665FC9DC8394 |
| 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 |
|---|---|
| FileName | ./usr/bin/coqidetop.opt |
| FileSize | 22529824 |
| MD5 | 88DA67459759199CEC1081B1305CCF75 |
| SHA-1 | 5C469C89EFB5D8A61C79C97C0739F438B1835F22 |
| SHA-256 | 6EC77F73067E57E5B7E3B2D2A17740E191D617A494F6E07B140AC6055B9AA24B |
| SSDEEP | 196608:4aU7PpKZhzpPPkiGNec7yFyfnQdzpHmb3f31R0DJtNij:4+c7yFyfnWzpHmb3f3AJ7i |
| TLSH | T125372ABFF94CF92CDE8586B18BA427A77339E54E2991C35219813211BEC32D90E375D2 |
| Key | Value |
|---|---|
| CRC32 | 00000000 |
| FileName | ./usr/lib/python3/dist-packages/zzzeeksphinx-1.0.20.egg-info/requires.txt |
| 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 | 1751768611.7074094 |
| mimetype | inode/x-empty |
| source | RDS_2025.03.1_android.db |
| tar:gname | root |
| tar:uname | root |
| 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 |