Result for 02DDDCC57F37F535705B229F0F05BADB6EDE0358

Search result
Graph view
Parent (49)

Query result

Key Value
FileNameusr/lib/ocaml/coq-core/printing/genprint.ml
FileSize5662
MD581626150A2CC47F479800DDF81B539A0
SHA-102DDDCC57F37F535705B229F0F05BADB6EDE0358
SHA-2567E3DD1D921B1B6549537D99BBEF877B6360D329FE0EB70F84226EE8074F691BE
SHA-512F8FF74CC4AAA3857351BB3A8A4EF9F56D1F64E4DE98A1A53E34AA12E654B4C57926F0E9922EC899DC2D158B1890CE005B5625F545C35D7ADEC088CB37910B1A6
SSDEEP96:eDCzPFAYjvX0K/yof4XKuGLg4iL1/oKv4TBD4Tpwv4Te6F3tieMJKDBON4G4fJKd:2CzNPvyof46u14MH4ND4y4N3tiesKDB0
TLSHT116C132B616F74D3686E15939CA4A70DAD7478E8602F6B81CB54D71A10BCEC36C2BC3C4
insert-timestamp1664889639.4654865
mimetypetext/x-ruby
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30
tar:gnameroot
tar:unameroot
hashlookup:parent-total49
hashlookup:trust100

Network graph view

Parents (Total: 49)

The searched file hash is included in 49 parent files which include package known and seen by metalookup. A sample is included below:

Key Value
FileSize42455752
MD5FF07A095506B4F5C4134AA13BFCBBA34
PackageDescriptiondevelopment libraries and tools for Coq 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-core-ocaml-dev
PackageSectionocaml
PackageVersion8.16.1+dfsg-1+b1
SHA-1031DF8DA017E553C330D47CF3C823D448ECC86E3
SHA-25654C3578562CDCE8738A569B0AF159A97119B33211219C0FC03FD63D407BBED01
Key Value
FileSize42725144
MD5DC9EDE594B161D65FD8A76D2745BA48D
PackageDescriptiondevelopment libraries and tools for Coq 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-core-ocaml-dev
PackageSectionocaml
PackageVersion8.16.1+dfsg-1+b1
SHA-104E9C9D8FB7A35960F95157BB748186F9F19E7C4
SHA-2563D22FD62A199FD3E5FAC1D8EF7BBBB3F462E409765FD6A7C7952ACA07D9E19E3
Key Value
MD5DC7666491C5DA73F0FFE60F4023D2326
PackageArcharmv6hl
PackageDescriptionThe ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq.
PackageNameocaml-coq-devel
PackageRelease1.d_l_ocaml.6
PackageVersion8.15.0
SHA-10BCA7ABDC27A9C76538EFD37D1E6434C195EE748
SHA-256E0B907E20BADE61F23AED28F5A758C698F08F7A72BD0598CE7952F988D81B2E4
Key Value
FileSize38858888
MD57D92E9E36EDD3F8BF53416BFC0496DDC
PackageDescriptiondevelopment libraries and tools for Coq 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-ocaml-dev
PackageSectionocaml
PackageVersion8.14.0+dfsg-6
SHA-1131DE74C819CAA57BE1D5A07905F237B4C68F509
SHA-256965B3D52140CCA72F2C9BD391F4865EBB0D1D5B234DEB8D7C4714F495785E936
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
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
MD5CF1E7BCC933A426CDFA5C38061944C43
PackageArchx86_64
PackageDescriptionThe ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq.
PackageNameocaml-coq-devel
PackageReleaselp150.1.1
PackageVersion8.15.0
SHA-11BC644A5F1AA7DB5BF4BAD55C33F623095265932
SHA-2568BE2553D6AF06AA208141B6454094840458C4EE324A670EAAE9787E7050EFF36
Key Value
MD53072CFDA596A961A2D9B4FDB0F2D98DF
PackageArchx86_64
PackageDescriptionThe ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq.
PackageNameocaml-coq-devel
PackageRelease1.d_l_ocaml.1
PackageVersion8.15.0
SHA-11F964F0798C9D82523158AA3E393507AAB80243E
SHA-2560E8E3B43CCB9A5ACBBCF20120DE198930D83A4C2A3EC38E8EAF00FBC733311E3
Key Value
MD5BB26750CA1C31EF65939FD3A2BB0B328
PackageArchi586
PackageDescriptionThis package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainerpterjan <pterjan>
PackageNamecoq-debugsource
PackageRelease3.mga9
PackageVersion8.13.2
SHA-127B04DC55CF9075B962E82EA1FD34E01EADD5C55
SHA-256F5371D59E01A276AA95E9E6220332E8264676EF46D45BF0447C36FBE2D65B6DD
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





metalookup is a service from miwakeru.com