| 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 |
| hashlookup:children-total | 147 |
| hashlookup:trust | 50 |
The searched file hash includes 147 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Float/Fast2Sum.vo |
| FileSize | 64256 |
| MD5 | A3B1DDF101C0DB14CD2342435BB141FC |
| SHA-1 | 007BAE54CAE746322259BE0040DE623E8DF65BA8 |
| SHA-256 | A5B694B74DCD7DE8D3D0401BFE31E88EBA0390AE6C10A72836765224F68C4742 |
| SSDEEP | 768:o4tyFllI+SZDCxWa4pxKWBDyFyYpOxlDHT2ydO3QQhofpWa2GeMBF9lXU/MAWcc9:Dh+v94pxF8FyY+DHbdOgHUkX7xr |
| TLSH | T11753C637E15C8C209BAE59EDE72CF393D801094881B242759E8D735B6FC5E63122E5BE |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Float/FSucc.vo |
| FileSize | 145283 |
| MD5 | 496051C623769F2A8CBBBDCBE894A69E |
| SHA-1 | 01CD94C7E3F1D0F18E0BFD961E19074F3B8E83BB |
| SHA-256 | 1D26432540B403F3F4FB2C922708577639A3833CBE650E4DB1ABB5BCA2FAE83D |
| SSDEEP | 3072:6gKOjjdmUElTqP9qDebgmDxIHjznxqc+X9HA:6gKOPd+qt88xIDLxb+u |
| TLSH | T17AE36C31A69CDC54C5FC2CEEF36CE3939613098D807651A9CD46039E4FDA23B452AA6F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Float/Fcomp.vo |
| FileSize | 44666 |
| MD5 | C5A728848FE9E65E1893516A0073910D |
| SHA-1 | 03595F6E850E0AA5F4C5A63B6BF9DC1BDF131675 |
| SHA-256 | 27C8806D0151FEC96DBC4ADD1A92BFEA97274EAC9749835599C84AEDB962B63A |
| SSDEEP | 768:Q019C2zoNB7I088edKh7x4q7zw/l6qErcE0xlDoW2yF9OVlg8w86KS0xMqZniqnF:R0/Ash7iqUl6fA9DooF9kq8Sq/npP |
| TLSH | T1D713E626E15C8D65EAFD5CFEF738E187C10401489272E3D4ED09836A5FDE6330A7A668 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libfloat-coq/html/Float.Expansions.Fexp.html |
| FileSize | 143286 |
| MD5 | 7FF7E6ADEE38560A9B9A2752AA8B6904 |
| SHA-1 | 03AC10F9718BD3AFD5E37E6AB2C9D6A074CA3C35 |
| SHA-256 | D4A48E7536746FBEF3E66108D51838DEFEB0214DC1DF1ED4F08D73876B5A6A41 |
| SSDEEP | 1536:WBEIgTbplA909Ro6mw6RCA8jFAzt+CjvwD4XVIRcnrzBhZo9jKcta4w6bvrbEsa2:J |
| TLSH | T131E3C5D046A2F93F00769AC656E99F25B0F0898DD2494D00F2ED06F7A3DDE843156AFB |
| 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/lib/coq/user-contrib/Float/discriminant.vo |
| FileSize | 473912 |
| MD5 | 68203210E62887E3CA672C8424962CEC |
| SHA-1 | 03D6030CDBACE6FD6F6B94ABD5CFE3E01571F1D2 |
| SHA-256 | DD09774196C8128A91697E3A69FEE48732146A61C8F4EAD5D5D5DC8E141A1159 |
| SSDEEP | 12288:F8yagZwb8tUTZdAbxF5kBD4PDKLxBJ+GPPc7z91gUzauZuDX4:F8T6Y8tUd+kamLJ+GPPhYaeYo |
| TLSH | T124A418F7910C8CD08ADEA4DDE72CE307AC020AA95139087B8D8D334F9FD155A955E9AF |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Float/ClosestMult.vo |
| FileSize | 92910 |
| MD5 | E54D837C63E19B9B51B93A1716EF8CD3 |
| SHA-1 | 0575FC9E3DEC74340991D660CE452B9C347D33E2 |
| SHA-256 | 29F75C644680296D256CD5E3E0506924E7E75144E84F601A317AE96FE3CE253D |
| SSDEEP | 1536:9jZlciGnNgfXzOyxLhAKJY+o7KIW1Xz96HBKDREfnxYL0LgsHhYFWJcmYPO66VDz:JAnNQOyxLhAKr2Kb9ohEmqLqgs+Ajfu4 |
| TLSH | T1C5933937D19C4C689BDEA9DDF32CE393D902094C40B6923CDE89635F5FCA62708598B9 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libfloat-coq/html/Float.ClosestPlus.html |
| FileSize | 348905 |
| MD5 | DDAD466B3BFA01CBA83B57E74927C37A |
| SHA-1 | 0729F35B7C071BF38CD55B2D4D93E1EFDAE0A364 |
| SHA-256 | A1EB0CBB613B18A7BB5476DE9D6F230B596B1E992204735BF54F21B927E9469B |
| SSDEEP | 1536:8b17uZ9HN73ZkZoGyr73xioD73u73dhMar06OM73j730Pq73agqJ2e5HhUDb974n:R |
| TLSH | T17E7407D545A6EA3F11728ADA52E95F21F0F18DCDD2094C10F2ED06F7A38DE803156ABB |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libfloat-coq/html/Float.Float.html |
| FileSize | 123384 |
| MD5 | FB38FCE6B43C87E3FDC8CD7231447072 |
| SHA-1 | 077D1E46799E4CFFA37DFC094FF1040059E623C2 |
| SHA-256 | 8A12427C3F5DA3A19D164C2EA45A91BED6E2219A9465581DEA66BDB747C5A4B9 |
| SSDEEP | 768:jwP1HootIaOMygzkTuV8Jd3TDp6TEYdJ0bcu955hxs4FyXxtHFO8F3:NY |
| TLSH | T162C3E4D446A6E92F11768AD652F95F25F0F08D8ED2480C00F2ED06F7A3DDE803556ABB |
| 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 |