| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libfloat-coq/html/Float.Option.html |
| FileSize | 1482 |
| MD5 | 4B6B55F77C2C6FA8D98EEF8D7A077196 |
| SHA-1 | 07B2E349349D9D7122DBD821A72FCDFA9DA3E169 |
| SHA-256 | FBC4E9833B12F31B6A78E39AF066DAB69BF99A2BD6A45BBC8C693EA29D05BEFB |
| SSDEEP | 24:hM6mIhB0sq4jvVCFl4bBR5+Qroq04PS1CK9SXcmoqQH+G2+cAmK7LH+G2+cQBA4Q:rmIzvqxkbA/l9G8Jdj7zJ84di |
| TLSH | T1B631AC9000E2E92B46B38AD122F95F2AB4E0CBC5D2084C85F5ECC5F7E2DCD81B0462E7 |
| hashlookup:parent-total | 4 |
| hashlookup:trust | 70 |
The searched file hash is included in 4 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 16635296 |
| MD5 | 3BCE2A39720294AF6C07224124B3C8E9 |
| PackageDescription | Coq library on floating-point arithmetic This package provides PFF (Preuves Formelles sur les Flottants = Formal Proofs about Floats), a library for reasoning about floating-point arithmetic in Coq. It contains both definitions and proofs of basic facts, old & new properties and algorithms. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libfloat-coq |
| PackageSection | math |
| PackageVersion | 1:8.3pl1-4 |
| SHA-1 | 87F10D0A5760F9C4738192487DCB10BDABBF228A |
| SHA-256 | 96E182E7572A1ADBCA73FC2E864190515C7CC31845C7B1875ED67B14DD2AF6BA |
| Key | Value |
|---|---|
| FileSize | 13908856 |
| MD5 | BC60D3E76EB884C9621CDBB03686D6B7 |
| PackageDescription | Coq library on floating-point arithmetic This package provides PFF (Preuves Formelles sur les Flottants = Formal Proofs about Floats), a library for reasoning about floating-point arithmetic in Coq. It contains both definitions and proofs of basic facts, old & new properties and algorithms. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libfloat-coq |
| PackageSection | math |
| PackageVersion | 1:8.2-1.2-7 |
| SHA-1 | DBB1A4BFBA90013C4BEC6A850FB6006626BA7D38 |
| SHA-256 | 0CFF0B3EC483B69B7ADD16C95C7FCCA9F2E4C51244043376B939158DD060680C |
| Key | Value |
|---|---|
| FileSize | 13989620 |
| MD5 | 1100DE583979A25EFC59512CD6355EDE |
| PackageDescription | Coq library on floating-point arithmetic This package provides PFF (Preuves Formelles sur les Flottants = Formal Proofs about Floats), a library for reasoning about floating-point arithmetic in Coq. It contains both definitions and proofs of basic facts, old & new properties and algorithms. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libfloat-coq |
| PackageSection | math |
| PackageVersion | 1:8.2-1.2-9 |
| SHA-1 | 6A5A449125CD50B0F5767C1B608B14B5549721C6 |
| SHA-256 | A16A3BEB59946071522D7BCA831AD1622BD17E9586B7951C478899AAC2BF7619 |
| Key | Value |
|---|---|
| FileSize | 10721776 |
| MD5 | 1300901C2A6568437EE6AC8B10B47D95 |
| PackageDescription | Coq library on floating-point arithmetic This package provides PFF (Preuves Formelles sur les Flottants = Formal Proofs about Floats), a library for reasoning about floating-point arithmetic in Coq. It contains both definitions and proofs of basic facts, old & new properties and algorithms. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libfloat-coq |
| PackageSection | math |
| PackageVersion | 1:8.2-1.2-5 |
| SHA-1 | A6E88DB47A66B60ED03EC38AC27BFFD5A4488EB3 |
| SHA-256 | B0F080ADC1A71CDE38BD25BBA70F30576357E701473439144775372FAD521B8D |