Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coqide-server/protocol/xml_lexer.cmti |
FileSize | 9025 |
MD5 | B6D14218CA9B56296E56CBAE9F2B9D97 |
SHA-1 | 31AE3F56C1C76ACFCBE6445F40529CC9D6EED965 |
SHA-256 | 06967354F6B92EB57A664868D595E541F764C9C2FB632839E59A8B68746F75D3 |
SSDEEP | 192:/OAqJhq5KNlWFD/iDjv1TY/nDvxs953vcDrDZDlzuSHubg1:mAqJhqBDcTyDODUDrDZDduSOk |
TLSH | T1AA12E956D20C0B37EC8B39FFB64562C380B115BDA0D6C87B916802C596E282F5B7125F |
hashlookup:parent-total | 1 |
hashlookup:trust | 55 |
The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
MD5 | 4FB69DD53D5955B4E6F8ABF2BC475FF4 |
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 | 3.fc33.1 |
PackageVersion | 8.12.0 |
SHA-1 | BFE4D9EEC48FD38862928462B023982042F2A38E |
SHA-256 | 28366385C087FC77490F36BBD61160548DEA12052B38045367509F4FB25C0B54 |