Key | Value |
---|---|
FileName | snap-hashlookup-import/coq-platform/2022-01-0/lib/coqide-server/protocol/richpp.ml |
FileSize | 5168 |
MD5 | 59D0E23E2F9581E513D2DF2AC837DE9A |
SHA-1 | 1E00039ECA198AD53C94A45EB5EDC386F3FCAEB0 |
SHA-256 | 6375E96066844AB3D523F43D4194B4912C5F424F90A22F2086A62A3E4EF08542 |
SHA-512 | 2BEAD542B937E5F6FC6436A9F198149D9BB10D185B1EDEE11DF248BB2B77C6D4031991A04D876FE3592863075279ADAF1CFE0BDC2EB215D3091F2CB1BE761226 |
SSDEEP | 96:eDCzPFARIsg/gwZekQYImlAy6KUrNgcaKGkmw7BKsXULhAH23ZIO:2CzNN4BpMlEKacE7YsXgiW3N |
TLSH | T1DCB1442927940E3B569740766AABD6C4FA29D0CF2301E56A340C701C6FDD83D62EBFD5 |
insert-timestamp | 1650070146.9027028 |
mimetype | text/plain |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28 |
hashlookup:parent-total | 13 |
hashlookup:trust | 100 |
The searched file hash is included in 13 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
MD5 | DA2313107102EA92519BF5B6CCC0289A |
PackageArch | x86_64 |
PackageDescription | This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package. |
PackageMaintainer | Fedora Project |
PackageName | coq-debugsource |
PackageRelease | 3.fc33.1 |
PackageVersion | 8.12.0 |
SHA-1 | FE1F0C607B2C0222DE85367A2E9405DE618714F0 |
SHA-256 | E385C3C83AA0CCB8547A1DE25EA780FB644ED3A996836AFF091DBEE344AAFC32 |
Key | Value |
---|---|
MD5 | C47E6E71F780D7C986630901B1A8C7C8 |
PackageArch | armv7hl |
PackageDescription | This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package. |
PackageMaintainer | Fedora Project |
PackageName | coq-debugsource |
PackageRelease | 1.fc34 |
PackageVersion | 8.13.1 |
SHA-1 | D293880AE29D5B9CA7A66CBB44E8592E9FAD029C |
SHA-256 | FC1FE3ABC8BF5F0950551848DBFF3164CA9CCA2721610F7FE249D5F8A3B5CBF7 |
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 |
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 |
Key | Value |
---|---|
MD5 | 80E483221B9E5589491BCE3681038BBC |
PackageArch | s390x |
PackageDescription | The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq. |
PackageName | ocaml-coq-devel |
PackageRelease | 1.d_l_ocaml.40 |
PackageVersion | 8.14.1 |
SHA-1 | 4150295C99D3A6B3535C9F6D7F8F2C8451C2CA52 |
SHA-256 | C0A617EB536202E51BF28CD2034E6654EC9B5E8E7A7B3E9297CB9C10B8B99CD1 |
Key | Value |
---|---|
SHA-1 | 198D3BB17C0DA24D5E7AB88D549B081076EC2C79 |
snap-authority | canonical |
snap-filename | o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28.snap |
snap-id | o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28 |
snap-name | coq-prover |
snap-publisher-id | oMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ |
snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
snap-timestamp | 2021-02-26T01:53:46.711754Z |
source-url | https://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28.snap |
Key | Value |
---|---|
MD5 | 92D2A3CADF1224A73C355645904CC0A3 |
PackageArch | aarch64 |
PackageDescription | This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package. |
PackageMaintainer | Fedora Project |
PackageName | coq-debugsource |
PackageRelease | 1.fc34 |
PackageVersion | 8.13.1 |
SHA-1 | 9E67DD606361560F75F78E9AC6033959383C9AB1 |
SHA-256 | 477D5AC651D3609D279E63A97C25789331FA4A2E49BF0F67ABEF1AAAF521B8D9 |
Key | Value |
---|---|
MD5 | 610CC6E4F5B5ACC4BDE352F20EEBAFFF |
PackageArch | x86_64 |
PackageDescription | This package contains development files for Coq. |
PackageMaintainer | https://bugs.opensuse.org |
PackageName | coq-devel |
PackageRelease | 1.6 |
PackageVersion | 8.14.1 |
SHA-1 | 30C6BC41C9C9B4065543D8B742209380E970BFCC |
SHA-256 | CA4BF26678FB7C28C2FCC552EDD9DAC642089A67CDD411190592349F92B2A3DA |
Key | Value |
---|---|
MD5 | 7BC40340CBBCA17411510D197CF09ECC |
PackageArch | x86_64 |
PackageDescription | This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package. |
PackageMaintainer | Fedora Project |
PackageName | coq-debugsource |
PackageRelease | 1.fc34 |
PackageVersion | 8.13.1 |
SHA-1 | 9E69790E2FD36B679458252DD47B9D204359CF67 |
SHA-256 | 42BFEC9E08BB3606E40F5AD3CC4EAFF06B91A67BC734B83DE7019F73959D33CE |
Key | Value |
---|---|
MD5 | E3A65FDCF85DD504B1961A508A3A0B49 |
PackageArch | armv7hl |
PackageDescription | This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package. |
PackageMaintainer | Fedora Project |
PackageName | coq-debugsource |
PackageRelease | 3.fc33.1 |
PackageVersion | 8.12.0 |
SHA-1 | 5E89D1A91A3FD244BCBD7D51E6CC83CACE990A39 |
SHA-256 | 78103730A5B6CA53605CBE6442E5193C40CAFBB1FF7FAF50B5BED3A5541AF733 |
Key | Value |
---|---|
MD5 | 05B87308C8718B8A7D2B1AFBE8A53CFC |
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 | 3.fc33.1 |
PackageVersion | 8.12.0 |
SHA-1 | B40BFC2643ED6A258513A8A7F5E36D0457AC93AB |
SHA-256 | 574443987DE26F71577BF3B729CCD35C0B4B5DA13C5EC628003BA08264B4E800 |
Key | Value |
---|---|
MD5 | 73318BAE4479DF03A474B2A130AB5F42 |
PackageArch | aarch64 |
PackageDescription | This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package. |
PackageMaintainer | Fedora Project |
PackageName | coq-debugsource |
PackageRelease | 3.fc33.1 |
PackageVersion | 8.12.0 |
SHA-1 | 1373ED4DE9C4AAD615481488035CE0B78537E996 |
SHA-256 | 49DE9FF34005693FFDCA741B7BDF75250F8D3104CFAB7D3878D14A57FC99EC91 |
Key | Value |
---|---|
MD5 | 993C3EF3BF13D302515A20E0DE175379 |
PackageArch | i586 |
PackageDescription | This package contains development files for Coq. |
PackageMaintainer | https://bugs.opensuse.org |
PackageName | coq-devel |
PackageRelease | 1.6 |
PackageVersion | 8.14.1 |
SHA-1 | BFF6A6A12BC074B513F65D49B2900AC303916D9C |
SHA-256 | 2AF26F84A2FEF9FE4AF54F105E8EC7DD0FC92AB7E2F84235A3A5CAE2CB0CA9AB |