Result for 00E5387CE6EFC8BF548EDB2C8A9B2EEB0BE11F10

Search result
Graph view
Parent (25)

Query result

Key Value
FileNamesnap-hashlookup-import/coq-platform/lib/coq/theories/Floats/FloatOps.v
FileSize2493
MD576822B285850365157E9F4CED6C9C150
SHA-100E5387CE6EFC8BF548EDB2C8A9B2EEB0BE11F10
SHA-256C02DB9165A2AD0E97C5DBBFDC8C540EF1B847480913342854A27B9AFAB0C22DC
SHA-5120F9C3916CE3D35A8A3AA56D16C6580A732FE60F79B31859071BCEFBAF8E119D8DDCE3A9BA80C45BD608B3DFD1EF596E0E9B1791E3DAFE03DF27D22808B84A966
SSDEEP48:eDG9zPqcNExgAjxNgUzDnCPkN/ooR5gY4vL8nPz:eDCzPFAljxNhnCPyAoR5gYbL
TLSHT15F512F7429C20F23840280799D46A0C5B518E5DEA363925AB05EF2FC9B9D83F5BF7DE4
insert-timestamp1706626902.588589
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33
hashlookup:parent-total25
hashlookup:trust100

Network graph view

Parents (Total: 25)

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

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
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
MD585FDE5BC9AD85DFEEF2548BAF32A0C32
PackageArcharmv7hl
PackageDescriptionThe ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq.
PackageNameocaml-coq-devel
PackageRelease1.3
PackageVersion8.15.0
SHA-132DE2EAB9DB8AB22DF9145F5E32EC571FF2370B8
SHA-25668D57EF66507F720BAF2C32BFC2A76F6CDE11A609BD30A6FBF8E6F7E4D1F4BDD
Key Value
MD565BFE474671A829612F0F50AF9507A2D
PackageArchi586
PackageDescriptionThe ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq.
PackageNameocaml-coq-devel
PackageRelease1.4
PackageVersion8.15.0
SHA-13A69208A6843B4FC68161D43B1F7055269FBB66C
SHA-25681BE3BDE012EBBB6DF3614F28C04FD57E928E985AA7C61136538E04A7A59890D
Key Value
SHA-13CD816764D8EC7B86844A32300164DC73F73C1AD
snap-authoritycanonical
snap-filenameo6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33.snap
snap-ido6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33
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_33.snap
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
MD5C21FEC418C60AAB3C99EBE65FCAFE233
PackageArchi586
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-16DD82C8D282A5E6E57566995903FCE467849D41A
SHA-256D8E264F3A017E4C6A85D5F377B14A69BFB22E70E3A4824802571C0190A340D55
Key Value
MD508531F6C06274612D09A043468184DC0
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.6
PackageVersion8.15.0
SHA-16EED314BC903F5E01066598B883B725F76F7E71A
SHA-2566FB37DA94FFC7EBC917E2C39656EA5122B259FF012A970B7EAF78695833B7A23
Key Value
FileSize21533468
MD51F6A2D10BC9DD074B6F816ED001D8EAC
PackageDescriptionproof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-stdlib
PackageSectionmath
PackageVersion8.16.1+dfsg-1+b1
SHA-17670632A799C9A85E422C5E24A4D18F9426F77DA
SHA-256C323C13D06D522F4476AC9A5DB063D121695A6F375392B17BAD537FCABE33705





metalookup is a service from miwakeru.com