Result for 1E00039ECA198AD53C94A45EB5EDC386F3FCAEB0

Query result

Key Value
FileNamesnap-hashlookup-import/coq-platform/2022-01-0/lib/coqide-server/protocol/richpp.ml
FileSize5168
MD559D0E23E2F9581E513D2DF2AC837DE9A
SHA-11E00039ECA198AD53C94A45EB5EDC386F3FCAEB0
SHA-2566375E96066844AB3D523F43D4194B4912C5F424F90A22F2086A62A3E4EF08542
SHA-5122BEAD542B937E5F6FC6436A9F198149D9BB10D185B1EDEE11DF248BB2B77C6D4031991A04D876FE3592863075279ADAF1CFE0BDC2EB215D3091F2CB1BE761226
SSDEEP96:eDCzPFARIsg/gwZekQYImlAy6KUrNgcaKGkmw7BKsXULhAH23ZIO:2CzNN4BpMlEKacE7YsXgiW3N
TLSHT1DCB1442927940E3B569740766AABD6C4FA29D0CF2301E56A340C701C6FDD83D62EBFD5
insert-timestamp1650070146.9027028
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28
hashlookup:parent-total13
hashlookup:trust100

Network graph view

Parents (Total: 13)

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
MD5DA2313107102EA92519BF5B6CCC0289A
PackageArchx86_64
PackageDescriptionThis package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainerFedora Project
PackageNamecoq-debugsource
PackageRelease3.fc33.1
PackageVersion8.12.0
SHA-1FE1F0C607B2C0222DE85367A2E9405DE618714F0
SHA-256E385C3C83AA0CCB8547A1DE25EA780FB644ED3A996836AFF091DBEE344AAFC32
Key Value
MD5C47E6E71F780D7C986630901B1A8C7C8
PackageArcharmv7hl
PackageDescriptionThis package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainerFedora Project
PackageNamecoq-debugsource
PackageRelease1.fc34
PackageVersion8.13.1
SHA-1D293880AE29D5B9CA7A66CBB44E8592E9FAD029C
SHA-256FC1FE3ABC8BF5F0950551848DBFF3164CA9CCA2721610F7FE249D5F8A3B5CBF7
Key Value
MD5BC0491BFE94676A618AFAF551B197C03
PackageArchaarch64
PackageDescriptionCoq 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.
PackageMaintainerFedora Project
PackageNamecoq-coqide-server
PackageRelease3.fc33.1
PackageVersion8.12.0
SHA-146B9EC5679731AE653DCCFA1D89E2331ECCB1A0D
SHA-25630B52D30F7A09A8B80CB9E3D2F43D69ABD1466467881E0ED29D0085807B63943
Key Value
MD54FB69DD53D5955B4E6F8ABF2BC475FF4
PackageArcharmv7hl
PackageDescriptionCoq 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.
PackageMaintainerFedora Project
PackageNamecoq-coqide-server
PackageRelease3.fc33.1
PackageVersion8.12.0
SHA-1BFE4D9EEC48FD38862928462B023982042F2A38E
SHA-25628366385C087FC77490F36BBD61160548DEA12052B38045367509F4FB25C0B54
Key Value
MD580E483221B9E5589491BCE3681038BBC
PackageArchs390x
PackageDescriptionThe ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq.
PackageNameocaml-coq-devel
PackageRelease1.d_l_ocaml.40
PackageVersion8.14.1
SHA-14150295C99D3A6B3535C9F6D7F8F2C8451C2CA52
SHA-256C0A617EB536202E51BF28CD2034E6654EC9B5E8E7A7B3E9297CB9C10B8B99CD1
Key Value
SHA-1198D3BB17C0DA24D5E7AB88D549B081076EC2C79
snap-authoritycanonical
snap-filenameo6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28.snap
snap-ido6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28
snap-namecoq-prover
snap-publisher-idoMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ
snap-signkeyBWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp2021-02-26T01:53:46.711754Z
source-urlhttps://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28.snap
Key Value
MD592D2A3CADF1224A73C355645904CC0A3
PackageArchaarch64
PackageDescriptionThis package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainerFedora Project
PackageNamecoq-debugsource
PackageRelease1.fc34
PackageVersion8.13.1
SHA-19E67DD606361560F75F78E9AC6033959383C9AB1
SHA-256477D5AC651D3609D279E63A97C25789331FA4A2E49BF0F67ABEF1AAAF521B8D9
Key Value
MD5610CC6E4F5B5ACC4BDE352F20EEBAFFF
PackageArchx86_64
PackageDescriptionThis package contains development files for Coq.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-devel
PackageRelease1.6
PackageVersion8.14.1
SHA-130C6BC41C9C9B4065543D8B742209380E970BFCC
SHA-256CA4BF26678FB7C28C2FCC552EDD9DAC642089A67CDD411190592349F92B2A3DA
Key Value
MD57BC40340CBBCA17411510D197CF09ECC
PackageArchx86_64
PackageDescriptionThis package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainerFedora Project
PackageNamecoq-debugsource
PackageRelease1.fc34
PackageVersion8.13.1
SHA-19E69790E2FD36B679458252DD47B9D204359CF67
SHA-25642BFEC9E08BB3606E40F5AD3CC4EAFF06B91A67BC734B83DE7019F73959D33CE
Key Value
MD5E3A65FDCF85DD504B1961A508A3A0B49
PackageArcharmv7hl
PackageDescriptionThis package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainerFedora Project
PackageNamecoq-debugsource
PackageRelease3.fc33.1
PackageVersion8.12.0
SHA-15E89D1A91A3FD244BCBD7D51E6CC83CACE990A39
SHA-25678103730A5B6CA53605CBE6442E5193C40CAFBB1FF7FAF50B5BED3A5541AF733
Key Value
MD505B87308C8718B8A7D2B1AFBE8A53CFC
PackageArchx86_64
PackageDescriptionCoq 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.
PackageMaintainerFedora Project
PackageNamecoq-coqide-server
PackageRelease3.fc33.1
PackageVersion8.12.0
SHA-1B40BFC2643ED6A258513A8A7F5E36D0457AC93AB
SHA-256574443987DE26F71577BF3B729CCD35C0B4B5DA13C5EC628003BA08264B4E800
Key Value
MD573318BAE4479DF03A474B2A130AB5F42
PackageArchaarch64
PackageDescriptionThis package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainerFedora Project
PackageNamecoq-debugsource
PackageRelease3.fc33.1
PackageVersion8.12.0
SHA-11373ED4DE9C4AAD615481488035CE0B78537E996
SHA-25649DE9FF34005693FFDCA741B7BDF75250F8D3104CFAB7D3878D14A57FC99EC91
Key Value
MD5993C3EF3BF13D302515A20E0DE175379
PackageArchi586
PackageDescriptionThis package contains development files for Coq.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-devel
PackageRelease1.6
PackageVersion8.14.1
SHA-1BFF6A6A12BC074B513F65D49B2900AC303916D9C
SHA-2562AF26F84A2FEF9FE4AF54F105E8EC7DD0FC92AB7E2F84235A3A5CAE2CB0CA9AB