| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Field_tac.o |
| FileSize | 2688 |
| MD5 | F455EF757A4647F3A86A25F71BFF5E4A |
| SHA-1 | 001B46FFDD32C71D9CA8EB95FA271FE6B2F6410A |
| SHA-256 | AF24B7E8C6D0520597A37B55CE479129FFE25A48455BB28468BF1A2A0F2C1498 |
| SSDEEP | 24:b+fTJTT58j1WE4ZCkwgJJI1HacrVmbSp5bfzWrFkRfJsp1UEP6H:b+7B5mJDgudokbS9S |
| TLSH | T12C518E031FEF8D79E119E1F04CB526326350F9115BE2C303E7607D5A8EB358D9D2A48A |
| 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 | 36501836 |
| MD5 | 2E5FF9F9DAD61A672688908C5AD7FAD1 |
| 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.12.0-3+b3 |
| SHA-1 | 7FBCE5F002FCCCAEE29A88394468811C7113ADDF |
| SHA-256 | 25BC2FE7ACD55AEF14E2CB145B77CF5D2E8BB7A607FB19512EDB8A0A6DEFEA24 |
| Key | Value |
|---|---|
| FileSize | 36233684 |
| MD5 | E8B5BAD8DFCFA6F86B6EDF319503D927 |
| 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.12.0-3build3 |
| SHA-1 | 84409BE866C6FDD301D61537EC09038597144C0A |
| SHA-256 | E529BB847D9249EDF8BAC5F322A737701F8FC065F54956D2892670A07C737663 |
| Key | Value |
|---|---|
| FileSize | 36491180 |
| MD5 | 564C89F37D7F34A7E666926D717560F7 |
| 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.12.0-3+b2 |
| SHA-1 | BF97BCF43CC30A1974C53B6ADDD84E0DC7A02E9E |
| SHA-256 | 6B62B138538AE259BD9BEF1036024EFE215FC0B0B1A2535975E128C296EA0A28 |