Result for 5AF08E58E68CEBD633F558D3B9820FB3CAED8382

Search result
Graph view
Parent (13)

Query result

Key Value
FileName./usr/lib/ocaml/coqide/opam
FileSize1122
MD572B8F87B2BD998359B8F35DCBB73E5F4
SHA-15AF08E58E68CEBD633F558D3B9820FB3CAED8382
SHA-256CFD7DE72BE1C3FDE4AFE20C06EAF81B515024BB8A0D02121C4379CFF9237994E
SHA-51263E3040330B3086FF3F898ABA47D11B072EE0D8FB37FA94961CABE5E0AD41020F464D326F7E37E13D5753E788E33FBC5443F29656A751358A2FA72670E87CF35
SSDEEP24:qGGvhqtPs5FcMSQK+XA/qY+Zvx2nwYcLSp0sY5Xmir0n:8hqtiFzK+Q//+ZvUsSiEIA
TLSHT16D216637C94E8664B58404D0FC9925E2FF7F668B82F01455E0DF441CBB839A013ED271
insert-timestamp1664889635.9215229
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30
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
FileSize1805972
MD5BF0C0BB722B16F6F1ACB59A37958EE0E
PackageDescriptionproof assistant for higher-order logic (gtk interface) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoqide
PackageSectionmath
PackageVersion8.16.1+dfsg-1+b1
SHA-19C0D900170DAAD528B54534BA747AC80A14CACAE
SHA-256F0E03998206B4518F0B3B6D3146F1816DD7BF3879DBD3679E822A81163F9E8B4
Key Value
FileSize2309244
MD556B209A4D0D32FA29357824FAD6C6D93
PackageDescriptionproof assistant for higher-order logic (gtk interface) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoqide
PackageSectionmath
PackageVersion8.16.1+dfsg-1+b1
SHA-1BF1AAB205DC2095190D81547C4F5C8843AE0507A
SHA-256E3EAA4B56658AD71D0050B5869B362D179BAFD33E92D4496072F5D4CF2C617EA
Key Value
FileSize1834728
MD5FA6B265A79DF4D0082D6C9C91A3673F9
PackageDescriptionproof assistant for higher-order logic (gtk interface) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoqide
PackageSectionmath
PackageVersion8.16.1+dfsg-1+b2
SHA-16DAC54E3491D594D6D0EF6B96CCFB9078FC1F1FE
SHA-2565AF5C0F380223AC43960A475D7FC8D5676780860BDD05FE9D169A532AE8B2CE2
Key Value
SHA-156D588354E77E8AAA0B3E024F0CA8BD06C383CF8
snap-authoritycanonical
snap-filenameo6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30.snap
snap-ido6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30
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_30.snap
Key Value
SHA-188B3EFBD3EA5DFDB002DE7C9EC3B3F28F2DC3022
snap-authoritycanonical
snap-filenameo6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_29.snap
snap-ido6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_29
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_29.snap
Key Value
FileSize1806236
MD576F15666E18DECE0679B6C943AD52D28
PackageDescriptionproof assistant for higher-order logic (gtk interface) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoqide
PackageSectionmath
PackageVersion8.16.1+dfsg-1+b2
SHA-15FBF10E460DE9E740AFFD535B96AEF78B551C7A5
SHA-256ABE8CAF6F2921F88256D737C369F87B3634E1844ED27505DD3360FE2C32AFD53
Key Value
FileSize1993412
MD5DFF704289D81CFB3C53FB106F5FAE951
PackageDescriptionproof assistant for higher-order logic (gtk interface) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoqide
PackageSectionmath
PackageVersion8.16.1+dfsg-1+b2
SHA-10AA9B2D42FDA4B0F66338306DACF0DF651DE14A2
SHA-2569D87C74B6E0FED71FDDCF79A3412DB9CF3C4F3B2770908DDFE23EF89D0ABFF82
Key Value
FileSize1836744
MD5FA48D02373370C5FF07EC75126A244B9
PackageDescriptionproof assistant for higher-order logic (gtk interface) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoqide
PackageSectionmath
PackageVersion8.16.1+dfsg-1+b1
SHA-18A35FE9CD6555166B526541775C366B8A6BAD6E9
SHA-256E8EE2400631A564FEF2047279700BDFEEBEF33209250C49CB953D999A940009A
Key Value
FileSize2310756
MD51A65C74659322EFC08B8546DCB6A127D
PackageDescriptionproof assistant for higher-order logic (gtk interface) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoqide
PackageSectionmath
PackageVersion8.16.1+dfsg-1+b2
SHA-17417EB6381645C960B2FA759D9B78AB20AAB61D4
SHA-25673FD6D9BD1411B3CE3D0DF3ABF806BE2C71E8D2FE0DF1D8A1D9B17082422868A
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
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
FileSize1997360
MD523205B6104BD69F1189EDF582DAB91C6
PackageDescriptionproof assistant for higher-order logic (gtk interface) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoqide
PackageSectionmath
PackageVersion8.16.1+dfsg-1+b1
SHA-16E526E9F73E5E0C1D3A5CE2A0D68FFDFA06CBB0E
SHA-25644276B1A2D6E50A99F052F7FB60D109901EE8BB90332F108C036A95AEDB747C6
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





metalookup is a service from miwakeru.com