| 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 |
| 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/lib/coq/user-contrib/Float/Closest2Prop.vo |
| FileSize | 21990 |
| MD5 | 47E0BB277360D9DC1F4A9A7A62BC58FE |
| SHA-1 | 0083AFBC212104EC66974B869978DD51DF16F528 |
| SHA-256 | E78B1F9781D5B1D31D4F703A8665C0C855740DB3E8A00FA6CE02B89FB04F9BA8 |
| SSDEEP | 384:RwS2hjOnrAR7vzx6TRjdl998J6Lg/iVNdtVRUGio1dtCRM5tb5Aar2adGsDCab0E:iSXnrKn0VxlDm6Lga9io7EM5p5AmdfjX |
| TLSH | T15DA2A60AF07448682B9D9CFC7A7CA2D3D4440884D1A1D764D90EE39BAE8DF770B356AD |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libfloat-coq/html/Float.Ct2.FnormI.html |
| FileSize | 773769 |
| MD5 | C259310C4D624BE92EFC8B9C42E312DD |
| SHA-1 | 00A2D47EE4282A36F6790A728F127554430F5A4E |
| SHA-256 | A07F485C54A0168D8E324CBCF64651FBF75263F09DED48DCE0C9B0D21E487DDF |
| SSDEEP | 768:ISchfGPP05Zi98qcq/t8guglZi98qXQEf98AIp7hgF1RMjb63GKtV0cgtCAWY0+h:zshAsPaGCr+/LcZaTD/Lo |
| TLSH | T1ABF40AD44196EA3F10768ADA62F95F21F0F1898DD2454C10F2ED06F6A3DDF803256ABB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Float/FexpAdd.vo |
| FileSize | 717177 |
| MD5 | 016A273003A7221F69A446FA947D0564 |
| SHA-1 | 01E703823A2813646A27188C9779655507F9B1CA |
| SHA-256 | 5B980D1D1BD0A10124BC840BD8780546B3334B22A6146EE53047EE5B5AF8F084 |
| SSDEEP | 12288:AwqTy8ea87UmBET10iBM+W3yGDqyevr62J6:JJYmgXM93yGDqyeTh6 |
| TLSH | T196E4A3BBC2544C919A56A6EEE35DE212CC079CA69019547B899C338FBFC3C1C025E5BF |
| 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.Others.FmaEmul.html |
| FileSize | 895877 |
| MD5 | 4617D3CCBD4F371B333142258EB7AEA1 |
| SHA-1 | 03CDB5270F5A00F918A57C5ADEA3323057A97BAF |
| SHA-256 | DFF88F3AD5C21279209AAB2F596D5FFF701F1279BBCBE345CEA90FB9751A62D9 |
| SSDEEP | 1536:f+h7L9GrSKLkJOoBp/SY7C8GrxziUhThVeTgcMCFW2nMdaE6JHJo:f+h7LaY7C8G1zTNVeo |
| TLSH | T1CA15FAD54296E92F10768AD952F99F25F0F0898DD2450C10F2ED0BF7A39EF803156ABB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Float/FIA64elem.vo |
| FileSize | 151040 |
| MD5 | 51436E77ADC3F2AF1943EF7C111CB520 |
| SHA-1 | 067E4432C6EEB8D3EC7986C0F226E5CD0B5F361B |
| SHA-256 | 75B4DD9ECB99B5B2555F168461F036F4C6BC43BFA50F547F0A9E3F41291632FE |
| SSDEEP | 3072:ebmsznFTVixCGpP5ZLNcwHvhE53D+lGxjuenY:2pJw5253SlGxjuenY |
| TLSH | T12CE36C31D69C4D80CAEDECDEF35CD35BE512098C60BA41B9CD89034E5FC52AB815E67A |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libfloat-coq/html/Float.Fbound.html |
| FileSize | 136180 |
| MD5 | C7D23D5623BB4571F4F7CCFDB095AF7D |
| SHA-1 | 06BB00FA827C3F81A2B00DD6F8E4AE3B328BEB41 |
| SHA-256 | 946B641AC8BBCE394BBF20C9FEEA0AC960DA295F587C1CBE85389668DA1C9DCF |
| SSDEEP | 768:8S+eOjiaM9myI0jzC+83IfMR1Jbj3Nwd8oE/fu9QkIgIHNnbpMHb+gH4B:MQM |
| TLSH | T144D3D4D445A6E92F10768AD653F96F21F0F0898ED2454C00F2ED07F6A3DDE80355AABB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Float/Veltkamp.vo |
| FileSize | 4519377 |
| MD5 | 1F8FD8F9417F2E28F53C11FC3764CD7C |
| SHA-1 | 07224DD8F6346F692A311571AB655B3E5FB4286F |
| SHA-256 | 713396EF83EE4E68362AAF6CF7AC4D044EA8DB9A75832DD47436284FB2B661EC |
| SSDEEP | 49152:TpCpjN4sZKnCFrezpR9noOnBUUoaIBj4HtY:Tpm5KlRbUHaIN4HtY |
| TLSH | T19326F7FD879C8892600DF8EDF30EA20753A671A150A94C7F98D667478F7261FA0EE117 |
| 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.Finduct.html |
| FileSize | 98538 |
| MD5 | 094792CEACC582B92D0A685920F724F7 |
| SHA-1 | 07FF56FB88A29F5ED93614EE3CC4F44F4689CABA |
| SHA-256 | 16C4D68F9D109276E0C0A8CF391E204B38C5B7E557A88009F00C60078CA34186 |
| SSDEEP | 768:ojoE/TouDhQ2V4JQciAMJG0Dq/xr8HsaI8bnbHl5e/JXXrQDtTHXQDtX/xbhTSTT:UTITSTzTL |
| TLSH | T139A3C5E445A2E97F40768AD656E99F21B0E08D8DD2490C00F2ED47F7A39DF803156AFB |