Result for 0117D616F5D0E5AA97F4D91DC96FC6A858407930

Search result
Graph view
Parent (5)

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/CoRN/reals/CSumsReals.v
FileSize5873
MD57485495396D2A843B939E7A8C7DF77E6
SHA-10117D616F5D0E5AA97F4D91DC96FC6A858407930
SHA-256E676BBD268C5289F6C0E0932248B938863F3C967249149B1F7A7F671709149F7
SHA-512F69A8913A227FC17FDC6453BEA290882875C85BE99B64B72B103A2F049CA04EE121ACFA0E6765C8D7F81A0D0FAB12694B2B8F21A6054157D93E891507987CFCF
SSDEEP96:BXIxnKpCBUV8jFbSCDcf4llEM9vOVBg+hGWxuuqLxGRvbz0iicIGBeQiUZ/vCQWt:BYcC4aW+KBtd1Ngx2O
TLSHT1F4C151492487123D68DF6373BE5B1152692EAF54F7F3DA88E92C42E90E1E1B40132DDE
insert-timestamp1664889688.7278812
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