| 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 |
| 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.Fnorm.html |
| FileSize | 300330 |
| MD5 | 912B66A8711A10015911ADD348434401 |
| SHA-1 | 000247C8D6D9B5C96BAB1507C387781019A9C5E5 |
| SHA-256 | 717C8DE3D44C9830E3E7C386694B2C79D73BA8D20E19AFE69D76AF76DDB178C5 |
| SSDEEP | 768:FoA7Jv8eNmn83zlE7GJhXksGgsGHcM6wXbUW3j54xQ19LHkotOQsWzFg33Edi7F6:FUK7EHmiFEHJT7cTpTdTbTlgb |
| TLSH | T1EE54A7D046A2E97F40768AD652E99F21F0F0898ED2450C40B6ED46F7A3DDEC03156AFB |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libfloat-coq/html/Float.Expansions.ThreeSum2.html |
| FileSize | 155251 |
| MD5 | 978DD13894230BEC9648AC5CB22A5E1C |
| SHA-1 | 00ADE52929BD34CBD0C6B4AD038AA28126715B99 |
| SHA-256 | 04DE1C8BD4DDF194E663554E6853ED05E031D1982DCAE1D2FF7502FAFFA9F90C |
| SSDEEP | 768:hs3eB6MfsC+fUdjDexPw/fOslYy6JArPmL1J6JArEE9e16AVOQcl0wH6bo8bl26A:h2 |
| TLSH | T12BE387D085A6F97F40729AD652E99F21F0F08A4DD2490C40B2ED46F7A3DDEC03156ABB |
| 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/share/doc/libfloat-coq/html/Float.Rpow.html |
| FileSize | 105432 |
| MD5 | D9C80D8CEDA9FDE18DC699C247EBDD7C |
| SHA-1 | 087C6B4A6F9D955B3E8600CB22C9ACCECF703DA4 |
| SHA-256 | B4155F9059746394D748C00D549DBE1A74E7B1DAD0B8BDB4A36E191CCB0AF421 |
| SSDEEP | 768:wqLcqVnPcoqo2UciKngwZgi05mLYflmL/fp6y7ewzvA0MswA6crgKsjcU+Ay7:Nu |
| TLSH | T126A3BAD146A6E93B40768ED652E98F21F0F08A4DD7480C40B2ED56F3A3DDEC03556ABB |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libfloat-coq/html/Float.Ct2.FnormI.html |
| FileSize | 544183 |
| MD5 | 8E8FFD15B750F0E2BA44AF010424676E |
| SHA-1 | 098CEC1F502A5CED3246F237487C147F652F3F27 |
| SHA-256 | 65A9DA826E8AA169E4DDCEB0F3FCB6FD360E36B8576AE826C9617996CCD35B69 |
| SSDEEP | 768:ov50wG020cUtM8qj3QtXxQIUUtM8qZEUuM8Dkpt0gJvJEZ8zUcDmQ0TgiAAzYRVT:h9NRZWrbOmhFtmyZMP26myZ |
| TLSH | T1A9C489D082A6F93F40768AD656E99F21F0F0894DD6490C40B2ED46F7A3DDEC03156ABB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Float/FSucc.vo |
| FileSize | 111930 |
| MD5 | 54AF152A1AE53457AC8C2D88BCEE47A5 |
| SHA-1 | 0A0AB1E4FDEB8BF2512723CB352CBEF2905EC05A |
| SHA-256 | C758AFC1984E96FFFAE6207211556CC4F038BD8F6D9D608C6D223011DD3F11D8 |
| SSDEEP | 1536:zcCCSkX2c5QDfpqiV3S3Giibwg3CKt42jXkK4brRV9zhhxxg4SUVJaR:yhF5QDPSGLw0rDk9hthx+xOJaR |
| TLSH | T1CEB38DB4A2015CAC55FC6DF8E36CD59196074B8D80BA82DE4D94835C8CCB27AD53FA3E |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libfloat-coq/html/Float.Expansions.Fexp2.html |
| FileSize | 115733 |
| MD5 | 2F7CC41606D43EF769E200E417C9CE75 |
| SHA-1 | 0AE7414A079735E2305083EA2E9DB7656CC93FD2 |
| SHA-256 | 90ABF499E0EA15FA78CD898D801DA652C07A069CC5217309D47455D5724F0D43 |
| SSDEEP | 768:qclbKTa/zjv1x8EejWSI+8EeAWCn3P0JqV+Ayo6jHTFZPvoW/Zez+RwpRw5hrRwl:dAKIb |
| TLSH | T13AB3E4D442A6F93F40328AD656E95F25B0E08A8DD6494D00F2ED06F7A3DDEC03552AFB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Float/FroundMult.vo |
| FileSize | 155503 |
| MD5 | E966DC464C878CB97A572EDBA4ACDA02 |
| SHA-1 | 0B4D4E176DC40026BA6CF53413A582D704DD8134 |
| SHA-256 | FA935617A39E86978C4B66123D4E6D7BA735BEE3510A96B8429A722AE9711D97 |
| SSDEEP | 3072:coZTDwS54/sevW+9ikCJTf5eKss+sn7XOrsZ7zq+Ak88:xZwW4/sV+gJTReKL37osZ/q9k88 |
| TLSH | T1E6E35CB183105CEE00EDE8ACE79DC25566038B8FD0B948ED8DE243AD5DC966EC43E567 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Float/Zenum.vo |
| FileSize | 35648 |
| MD5 | C227C05E6A874AADAD4F6C6D4C25F93D |
| SHA-1 | 0B918F5C05F83D192540649358B3FF3F13FA7744 |
| SHA-256 | 53573BA1BE5C2F2653597887DE362ACD89647D93C4DFBFD7FBE91EB33A5402E3 |
| SSDEEP | 768:ENUAHFJB1HUV4FF1JJorQdG7EeV0NyEv8pSMbB+4Rg+PQ7mVYY:2VF5H/fvdG7B08Esft1g+RVYY |
| TLSH | T1CAF2298AE2349CA9D9ED9CF4F5743086C54A004FD274C7E6AA04C2BCEDDD3BA0779598 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Float/DblRndOdd.vo |
| FileSize | 294133 |
| MD5 | CE1499BF8A2C59687BB100B5FE325FF9 |
| SHA-1 | 0D3F696A2FC5D29AD18D4E06235CDEB92041CCAF |
| SHA-256 | CF4AC4642D75198D7F7FE28F00D8A4B777285947D6A003E495E34101A2A6CC46 |
| SSDEEP | 6144:fkRKIz5R9MQXrfRgrpqoEUfcr3BVfoEbXXa6U6vgz:sgIz5R95ra9lfG3BloEbXXaZIgz |
| TLSH | T1785449B483105CA942ECF8EDD39DC340A58386EF60B958FF55E4039ECDA916CA4EC95B |