Result for 00F44C10DDC9425CB79DEBD0ADB62870476D5C09

Search result
Graph view
Parent (5)

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/CoRN/reals/Intervals.v
FileSize33148
MD527F989FCA04196B4AB389552C0B9C6C2
SHA-100F44C10DDC9425CB79DEBD0ADB62870476D5C09
SHA-2563F1E06868A515D03F8D50F6C5BDBF42C8065EB585E4BE2D236DD441EA2BD0865
SHA-512F428E0513E90540DAAAEC76DA5C1B8DA42D180BD7C296731022EBFC5A414E9361B598081C684863C087BE1CD1CCD98F5C1A0BE8D1903C0E38201F2B8855C0263
SSDEEP384:2cCQolSvWNHO2Y7CmFSqHA3Dgqf8lXi3O2WBAA/Lf3/BIqyrjzwR1u6Bem2bbPxT:2cCQolSuAT3S8lXyUerjzF5dVf64pLT
TLSHT10AE27409084B125264A7BDFEFF9BA581A2258F33A7F79544700C00FD0F0D9B9E57A39A
insert-timestamp1664889688.7795596
mimetypetext/x-tex
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30
hashlookup:parent-total5
hashlookup:trust75

Network graph view

Parents (Total: 5)

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

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
FileSize11269676
MD518D4304243644B521C39B9A50E7BC6F9
PackageDescriptionCoq Constructive Repository at Nijmegen This library provides different theories for Coq: - an algebraic hierarchy with an axiomatic formalization of the most common algebraic structures, like setoids, monoids, groups, rings, fields, ordered fields, rings of polynomials and real and complex numbers; - a construction of the real numbers satisfying the above axiomatic description; - a proof of the fundamental theorem of algebra; - a collection of elementary results on real analysis including continuity, differentiability, integration, Taylor's theorems and the fundamental theorem of calculus; - tools for exact real computations like real numbers, functions, integrals, graph of functions and differential equations. . Coq is a proof assistant for higher-order logic.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-corn
PackageSectionocaml
PackageVersion8.13.0-1+b1
SHA-1182CDEDB9D2E013D552009AF0398CA2A641C4AEA
SHA-25627C6AD4C181CBF07B4B6BE5FFAA4177876F6D798BCB4F897E1EA4253A565F0EE
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
SHA-1D83FCE3E646A1704BB7575FEB561A45E3561B188
snap-authoritycanonical
snap-filenameo6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_27.snap
snap-ido6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_27
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_27.snap





metalookup is a service from miwakeru.com