| 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 |
| hashlookup:children-total | 141 |
| hashlookup:trust | 50 |
The searched file hash includes 141 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libfloat-coq/html/Float.Fop.html |
| FileSize | 67356 |
| MD5 | 916DF6FD36FC5A58AA206906A86C3F9A |
| SHA-1 | 0193DEC0AF1DCF9C2D1D609BE72CA9E1C2B5AAB7 |
| SHA-256 | 5C86F9A767C368C68FFCE50E7B30CBAAA285488AF744EC9317E3B84B7485A610 |
| SSDEEP | 384:oj24mZ3LE1LUn3+oILXPLUn3apLUXL5LHQUWgzs:3/w1Gy7PGapYX1UUWgQ |
| TLSH | T10663C6D442A2E93F40768AD652E95F25F0F08A8DD2494C00F2ED56F7E3DDE803156ABB |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libfloat-coq/html/Float.Rpow.html |
| FileSize | 130319 |
| MD5 | 8C3DE47D1335DC2ADA82353E21355891 |
| SHA-1 | 021D52620E032EF82FE3A9F4859DF7137BCB179E |
| SHA-256 | 5F47E54F3BCA0CD237041A3BF729E06F439ADC3E39AAED2EAC8D47047CF1B62E |
| SSDEEP | 768:6U++fGWu+of62MuiaBaO1mi9YhEK7YhZKtkyh8CM1AodsKA3mXWTshtW+S81:k |
| TLSH | T143D3F9D546A6E93B40768DD662F99F25F0F0894DD2484C00F2ED06F3A3DEE803556ABB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Float/Fround.vo |
| FileSize | 62170 |
| MD5 | 595D0ED2542F0FD581AED9245E3A3CF7 |
| SHA-1 | 026EA90ECCB19FCBFBFF924091748C4CB81A8E7C |
| SHA-256 | 96F382667393555BB65ED34A8520A0EB83A65B0DCF7E2122184C2232F146F08C |
| SSDEEP | 1536:qrPcMLKryiEcLNF5JhETvG7yDsP06trIdfpB:WPy1EGNFnKTvGoGtcfj |
| TLSH | T1BD530939B168CC54D6FD6CFEF33CE2C3C90508C88172A2D58A0E47579FC6A634659B5A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tools/coqdoc/coqdoc.css |
| FileSize | 4642 |
| MD5 | 82EFED29CA62ADEA2B2CA95D04C51688 |
| SHA-1 | 03C4B6B96958B27DED5589EABCAA6A6AEAB824C2 |
| SHA-256 | 1AC4FC611F91722F878272405E9ED91FB498302E490EA59F2D463FEDE7B297B6 |
| SSDEEP | 96:Uuheof+m6IdFxF0bjwH0KEp6Z4zpZ42rZhegBU:WUFxFWKEcsDr3e9 |
| TLSH | T1FBA1EE4397232806B58F807CB3B7A676222D18D3524693B9BD7C6554CF452A4A2D3FCD |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Float/Closest.vo |
| FileSize | 59651 |
| MD5 | D728E6954AC786D3459AD16D2F8DC410 |
| SHA-1 | 0DB4D17B704B8F2D31BE827952DED7B343CA2449 |
| SHA-256 | BD3D8F406ABB99BBD2AA794676CD65587018377D54EE7A2A8A4CE8F513CC53A7 |
| SSDEEP | 768:K8SQveBGyBDj+ELU2Mm2oOWCD3jeKuviDuEienCnIxlDare0QOl5wmY/d7hj/0Qk:3SQveBGy+Ed6jeKuCRienBDNkncdnTsD |
| TLSH | T153433B65B05CED256BED4EFDF738E5C6D403088CC0B25390AF46839F9EC8B634A19669 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Float/Fnorm.vo |
| FileSize | 196172 |
| MD5 | BA7E73F6C45208B0BE0865EA56011005 |
| SHA-1 | 0E4CBB18752F7F5B97DF1B31F70435EDC9FB0957 |
| SHA-256 | A1FE71151707D12D95929DC12682ADC551B2AC1FD22D4CBE9FD1AC65B1B5319A |
| SSDEEP | 3072:LJnvIRVSIyAPwJDGdxnYB1bU67wl2iAVmwnQdw93zM/Ba+Do84DRbuRoPBljZ:NvIRM0ohung1bU67wl2iAidW3qaUqbuS |
| TLSH | T12B146B35D28C8D5080FD6CEEF76CD397EA030A8D91B191E9CD65138E4FC562B812DA6B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Float/discriminant2.vo |
| FileSize | 419292 |
| MD5 | 08FB127359B99C8FCD5666D2BD276BC7 |
| SHA-1 | 0EA4CB52373F57DF7E26813CA2ADD7B6DF92A673 |
| SHA-256 | 4DC9CCB6D622B8B2A93B988BF6A0D4F1B0966D6D3026AAE9B7576C33E4DC3942 |
| SSDEEP | 6144:iM1pMvpwJgRD/Zw7QVIxs2mZ4t/y0bT8knV9flEIAly0wF6Wu5GaskixZAGTq:i8yagZPh0bTRbEIewIWOBnixZACq |
| TLSH | T1BB9408F7D14C4CA08BAE65DDD76CE317EC0209A9807958778D8D335FAFC182A421D9AE |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Float/Fast2Sum.vo |
| FileSize | 64256 |
| MD5 | 46E89FCBE47C66478BF04743E82FAACA |
| SHA-1 | 0FE04019577C8B3FF5FCFECF6F2944217ED9FCE4 |
| SHA-256 | 22DF9133E571EE5A9AC91E0450FCCDE29DF6CC2008BB0EF47C129FAF15799508 |
| SSDEEP | 768:o4tyFllI+SZDCxWa4pxKWBDyFyYpOxlDDrYwQlL3QQhofpWa2GeMBF9lXU/MAWcQ:Dh+v94pxF8FyY+DIbgHUkX7x7 |
| TLSH | T15253C737E15C8C209BAD59EEE76CE393D801094880B242719E8D735B6FC5E63532E5BE |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Float/ThreeSumProps.vo |
| FileSize | 196204 |
| MD5 | 710F68EBFE62BA261A757EE704F8AD04 |
| SHA-1 | 123BB5303F1D35FF6D9D18284FDCE2F4789A7DA6 |
| SHA-256 | 270E6D18B5B29E1050592E79B91247F55CFA0BFD374C40876AEC596CC83C2AC2 |
| SSDEEP | 3072:S6Tl6czxWsLf3AET1ZHQRmyx7geW+c3WAZJPhTf9Z/i1gH89SoDXq56zfAIB:Sgl6czxWsPAKyx7gb+cJ5TCAIP9zfAe |
| TLSH | T1CD14B333D2808C544BADA5CDEB6CE362E9030D8D80A5417A8E9D339F6FC495A471E5BF |