| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/Rpower.vo |
| FileSize | 106722 |
| MD5 | 4C3AC89ACF0D8091949A12A225F643C4 |
| SHA-1 | 000BB1CCDECC4B496B73AA05DA9EF98B8CF836E6 |
| SHA-256 | D1A4030FB9AAC8EF43D27F1229C98FCA723F35BF727A60C9401E33492FF9098F |
| SSDEEP | 1536:xVvKrbfzKEILU3CbZkh9aolWpDOGtH4F1vuWdAOPJt9lk5puFL95c:xRKrb7eAybZk2oJ1vu+pL95c |
| TLSH | T121A33B25C5C1EFA058EDCCB4F628788665128ACFA2B8C2445B31473D95CF7AA3C7865E |
| hashlookup:parent-total | 3 |
| hashlookup:trust | 65 |
The searched file hash is included in 3 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 22844830 |
| MD5 | 0E0C21F3F6567E8A92CE04022CF33E88 |
| PackageDescription | proof 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. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | coq-theories |
| PackageSection | math |
| PackageVersion | 8.6-4 |
| SHA-1 | 8233F61E1B27B1FEC7E554963ADDB25863472509 |
| SHA-256 | DC482BB3535D048436AB03B211596BFB3723E93C8671404FDD251068FBC8D665 |
| Key | Value |
|---|---|
| FileSize | 22844230 |
| MD5 | 37A85B9D4C44A3F30F6D583079F13ACF |
| PackageDescription | proof 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. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | coq-theories |
| PackageSection | math |
| PackageVersion | 8.6-4 |
| SHA-1 | A1812151E535248E47996FACA33C0C3148D268B2 |
| SHA-256 | 81A1C0BABB5B701638BC9EBC15B0292051F4DAB1869231A6FA5DE53B8CC41E5C |
| Key | Value |
|---|---|
| FileSize | 22521998 |
| MD5 | 89399AF2F5C0B785189128CECF8256B5 |
| PackageDescription | proof 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. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coq-theories |
| PackageSection | math |
| PackageVersion | 8.6-4 |
| SHA-1 | E582B72B4A96E6DF88D9B8971800300C71261060 |
| SHA-256 | 966A3522601702120A054937F6BBC789D75F8C773809B09C1A08BE4C5B65372C |