| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.Numbers.Integer.Abstract.ZDivEucl.html |
| FileSize | 155426 |
| MD5 | F1F03EB7ED4F7D7C18FDBFF3FA96AF98 |
| SHA-1 | 00E39370CE613500A351B3259396DE7184FF9497 |
| SHA-256 | 9AED567536D40921EECB6E24C9E911C2BA66D9424A13A7B6BBC62ED7D1447394 |
| SSDEEP | 1536:1bJ6NLm4cj8fjBSvHakIt/02/gAmd57SJKjDqlp9c3N2lsV:A2t |
| TLSH | T1F4E34CD943E1A6778D7287FA16FD6728F4E00E55E0440C24E2EF86E752CEF14BA91923 |
| 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 | 22532374 |
| MD5 | 7B060F3CE04E07F043F60DC74034D602 |
| 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 | D482C10F37F31BB9E2A81B5EE91A8D691E5D665E |
| SHA-256 | B9ADED5E0132C6AFBB705A45CDC99CF3C08CBD6B2FA92111809E396642B03F3A |
| Key | Value |
|---|---|
| FileSize | 22819814 |
| MD5 | 73E5143192B4EF34FEA2CE8B521475D9 |
| 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-4build3 |
| SHA-1 | 9B236EEA6093DE58908BE0E110D6A1A18ECF23A4 |
| SHA-256 | 1BECBD136FE7C9545BC4093B1DA5376DDDDA6FF896D1FB1476EA31C9426B2317 |
| Key | Value |
|---|---|
| FileSize | 22800288 |
| MD5 | 296AF2841155EB30FF83C4D007150144 |
| 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-5build1 |
| SHA-1 | E04D5053C162C600CA2695DC0B419EB631874850 |
| SHA-256 | 1AD147A24925BB2CF0EAFDBAC4110DD3139464E6B91D498C0A9B9BB161F2A70A |