| Key | Value |
|---|---|
| MD5 | A9E8E7A62E22FD672944836D012F9490 |
| PackageArch | x86_64 |
| 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 | E7E6EB0309971A782FC61577422D1E5823368AEF |
| SHA-256 | DF8CC4A91BE8E554232C1DF24D6584EA49C52A1452041E0E9B00C1CD2D73912D |
| 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/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 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqidetop.opt |
| FileSize | 19579400 |
| MD5 | FA0CF03ACD78CCA31409F7FA8D109BC9 |
| SHA-1 | 43534C5FD21AB2DDE6CFEEBA3A55B5C6A4E0FD84 |
| SHA-256 | F8CC7BAFD48715F9390165EDA3A29CFCC7C4D497F67515A167515EDACC2C92A7 |
| SSDEEP | 98304:YOoST2mYAyJLflO2G92FaXa63jwIM0CijQXTJWPh6dY9BE3mkF/IC5v3Q:YSYAyJjRG8FQwIM0njMTCh79ODFAO |
| TLSH | T1C017181BFACA987DC2FAC235C5B553B17B61B4242991BB2309E0A3250F134E91B7E7D4 |