| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/user-contrib/CoRN/fta/CPoly_Rev.vo |
| FileSize | 73267 |
| MD5 | 41A9B10149DAF31E616018F77EB4E6F4 |
| SHA-1 | 004DC7A92403027ADB77700573923445E7E292D2 |
| SHA-256 | 0D69B262C696C2B4A472DB2A532904B1B0727702F293CFEBDB12322CE4882A46 |
| SSDEEP | 1536:Jw/2ZNX2H4ygfigurj8xn/vhJ6Qw/v+WxgbikqbwH5fvItBzX:Jmknn9urwGQw/GWoikqDzX |
| TLSH | T1FB63F885F118DE71E9BADD74DA28A0C034020C8FA37D17961D78412CEACE3DB2D7A697 |
| hashlookup:parent-total | 1 |
| hashlookup:trust | 55 |
The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 11269676 |
| MD5 | 18D4304243644B521C39B9A50E7BC6F9 |
| PackageDescription | Coq 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. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-corn |
| PackageSection | ocaml |
| PackageVersion | 8.13.0-1+b1 |
| SHA-1 | 182CDEDB9D2E013D552009AF0398CA2A641C4AEA |
| SHA-256 | 27C6AD4C181CBF07B4B6BE5FFAA4177876F6D798BCB4F897E1EA4253A565F0EE |