| Key | Value |
|---|---|
| FileSize | 3307532 |
| MD5 | 78BBBBD7DC95AE84A2F39EF54F9AFE71 |
| PackageDescription | Floating-point arithmetic for Coq Flocq provides a formalization of floating-point arithmetic for Coq, in the form of a comprehensive library of theorems on a multi-radix multi-precision arithmetic, with efficient numerical computations. . Coq is a proof assistant for higher-order logic. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-flocq |
| PackageSection | ocaml |
| PackageVersion | 4.1.0-2+b2 |
| SHA-1 | 838A625E8BE7E15C2B46E4F918AF48C2660DF682 |
| SHA-256 | B3D4C45046FE3872C46B84A97BEA7E376EDFA3F184EC367CE721D559E61596C7 |
| hashlookup:children-total | 87 |
| hashlookup:trust | 50 |
The searched file hash includes 87 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/user-contrib/Flocq/Core/Zaux.v |
| FileSize | 21833 |
| MD5 | 7B77FAC12FF98F30391A643E77F82321 |
| SHA-1 | 06A9687D9AA31C8AB1DF8A43A22FA90CD21A1D73 |
| SHA-256 | 4FEF585337A07CBA4FB24E579255089CAF6D5ACB4B23152983E82A2DBC7D43FE |
| SHA-512 | 978CFDB7CA0211F794FD1C38273FA14F0A7EECAB7759EA39CB43C053185E0839D4AB27F61C83E12B6A2F801749DBEC8D11B1F1159FB0149639AE5DEF1E387183 |
| SSDEEP | 384:xhxJEz7Ouz1W9qzah9cn2+np5vOM2Egp42l8lm2+csqrciG8e9f+eNwXBQYFt:xp8aB9qzah9cn2+np5vOM2Egp42l8lmQ |
| TLSH | T1A0A28402299342A4B7D9EBFFBF032C84F8015C18EBED8795660E946C27BE1657970D36 |
| insert-timestamp | 1706626801.5386825 |
| mimetype | text/plain |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/user-contrib/Flocq/Calc/Round.v |
| FileSize | 32368 |
| MD5 | 3B714F0BB8F97871E88962F2821B117D |
| SHA-1 | 078A11E6B2F84BC77261FC3A884F1C7AA1F3160A |
| SHA-256 | 2D2D6F525E6580AF40E1C39DDD4556906BD2FD3FE34871206CC3217CD75FF0F7 |
| SHA-512 | 085CEA1EDB91055D678BD477FE2CC040E5FA78EF08F3A18597991349D99D8DFD3C3A3EB1392B962557720187F8B42120ADCD25F6A6EDCDE8CE435DDB439BC68D |
| SSDEEP | 768:BifTxM7nAglisaLd5B5BKgKdJRWuLNe7YNAwIcqmbbPprp+i+S+WSMiTDoqg2eOc:QTxM7nA0ised5jKdJRWuLNe7YNAwIcq2 |
| TLSH | T129E2782B2B42023CD15F987BEF1148C4D4089BD4CBE5E715A43FD1AC5B6E768A275E8C |
| insert-timestamp | 1706626802.0868979 |
| mimetype | text/plain |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/user-contrib/Flocq/Core/FTZ.vo |
| FileSize | 59496 |
| MD5 | BE61E16B8C76BE35B19182BB2CA590AF |
| SHA-1 | 0A5B7EBEA9839B5F2EB915C8C0A5FDD52D0A7A50 |
| SHA-256 | 0521552E58B8E291200B255E9A8F0CB022FF043DE1CAC7D7DBF60D12C7D9A062 |
| SSDEEP | 768:2MH5Cmz0YpVQ5DnwjLjPQNfi3uMpOVcqG/cc/+7xJl05kpM70j:2nRYMzin+6BgVcqG/cc0Y5kWU |
| TLSH | T14B43D845E1059BB085FACDB4DA3820C195020D8FD37A4B999A34826CDB9FBDF2E72753 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/user-contrib/Flocq/IEEE754/Int63Copy.v |
| FileSize | 12933 |
| MD5 | 9A4EAEEA530E8AD8712B74324C963B99 |
| SHA-1 | 0BBF74BF127BC9CCA823F5B91DC79DD2D23068B5 |
| SHA-256 | A182FEED6086D3C2C5FD9290FB21B92635255C6E72D213BC15A4208C38A04C4D |
| SHA-512 | 9B64DE71F539FC9232DD88AFEEA17D238260481AA847F3FF7A58065B0A5C7F09EEFEB8E84F24D5644F54C4E3A859401A22DBA261560AB580EA501B0E3F587F3C |
| SSDEEP | 192:pD4j/YnBxVro4rMbouopPlt1qv1KsGyQHvt4R0Z8FFx/cfa4G:UqDM0uojnM |
| TLSH | T19F42C0B560BB4245CD123E329EA711D753B365DE225273E8BE9A85E54C3843ECB8F438 |
| insert-timestamp | 1727037236.449747 |
| mimetype | text/plain |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Round.vo |
| FileSize | 139799 |
| MD5 | 56DCBAC2F75284CFF8188158A40632D5 |
| SHA-1 | 0FB7BCD0C7FF83132D7815E9D2E807CCB4244A65 |
| SHA-256 | 04A2AF7057694B5AC2EF2C642ABD21D552AAF1D478E8D45513CB5A77870BC1B3 |
| SSDEEP | 1536:endkYrd2UvkRrwjkXiYuWixsOd3IsjN2VhvxdxoiuJ8J8wj/9zIWzcU1LUg6j/:ee8d2Ubui1yOxIsR6jxopJ8vFQILUgs |
| TLSH | T1D3D35D5491044E64CAEF9D74EB2491D1E3020E9FE2BE17429F39C15C8A8F3EF6972687 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/user-contrib/Flocq/IEEE754/Bits.v |
| FileSize | 21907 |
| MD5 | 6BE6E154F83C70C27D264EB603C1CC7B |
| SHA-1 | 17C2C102DE387D4F26E5758EDBCF9FAB81BEC7CB |
| SHA-256 | 278503140600F91C56229F84E1753237A9908C57119A7FCDCB7AF5E49ABA5E78 |
| SHA-512 | 83E8163AE25660B7AD5F1319A8E493971D6DB82245623B29B869711C523D5FB7C36F3A7515E5F5AB7765485476D8BEECA0F34299B62F949998871A5A43AB3B09 |
| SSDEEP | 384:x64DFPKRnrkLgEkxE4AhqCQmETBx8/fH+sj6HSlYi:xN2r24AhqCVdfF6HMYi |
| TLSH | T136A2A42B364A0927E2DBD5BDEF7274D1EC24CD6987F68340760E81AC476A13C52E1D72 |
| insert-timestamp | 1706626801.3644955 |
| mimetype | text/plain |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/user-contrib/Flocq/Prop/Sterbenz.v |
| FileSize | 4538 |
| MD5 | 54CD4EB0EC50A719A32F243FF975992F |
| SHA-1 | 1803A90CA4A60767C918347E04F754C05837C635 |
| SHA-256 | BA488A8D3694F8CEA767AF58DD173EB2027B92AA8BEA2FF02E458C9C9352BEEF |
| SHA-512 | BF0908575E529688BE00AFBA6368F12930FDD955B502592A0828F7EEED14133BE55F840C386567E87CAA495B9CA7751D37B5360F7431DA2CC8DFC2856A87CB85 |
| SSDEEP | 96:w/WDdMaDGoBibJntXcnTtYKgdjTlJm340YFxOs6pBiQnaGE9TY9R9UzG7:wODdbDZiVtXgtXavC34pFxV6HznZE9kR |
| TLSH | T18A91961F391C4A368ACABDFEBEC0F6408E159D449FCFDB52195994BC22778E6A330560 |
| insert-timestamp | 1706626801.794907 |
| mimetype | text/plain |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Round_odd.vo |
| FileSize | 125833 |
| MD5 | D0067B05E7F3746010EE9BDC79EB4F71 |
| SHA-1 | 182CFFAD34A58B958344E10B407D3D09C2509B16 |
| SHA-256 | 0CA5F422BA3A805832C818F6FD6DDA4C321CD9B8A921B84D4D0B22808F8005C9 |
| SSDEEP | 3072:puZindMg/aVWfv0sk3j1HbQPyYYSXy+j6e:MZjg/aVW3rk3xbQaYYmy+j5 |
| TLSH | T162C35C65E1019EB4C9EF8DB4D728A0D1D6030E9FD3BD07449E79826C4A8F7EB4836693 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/user-contrib/Flocq/Core/FTZ.v |
| FileSize | 8656 |
| MD5 | 3C9B7E808847F3BDDC58E44DAFC44B29 |
| SHA-1 | 1B6C0F16F435C1985DBCA9FB6408205900F764B4 |
| SHA-256 | 8600735318FADB9E4CDB19788C0C0B3EC11CDE77DC9D47FF462B9B2870EA5570 |
| SHA-512 | AFDAD4DBFE1253C06A81CE9471022A2CBD5BF39A426A18BA3B2C274CF6039310A0AE52B084CFF64D6FE97D949FAA6CE2754235AFE534ED11E4CD472E45DE97E9 |
| SSDEEP | 192:wmDK4o5eLaZO5c85p2y9NjFJbhywofn9GrNeKG+Iv+1KYjdUkjX9CB3cjdUR9Q+u:ZK2acLT2y9DJEcY3Dv+1HUwEKUnu |
| TLSH | T12602542F7E1301346AC558ADFD84D190FE0CDE48DFCCDA42686CC7BE22789BA5125DA6 |
| insert-timestamp | 1706626801.6910956 |
| mimetype | text/plain |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/Binary.vo |
| FileSize | 231419 |
| MD5 | 9EFCCDF6D28EC4F673C2187417CDFAB9 |
| SHA-1 | 1DFBAD9150ABA072B18A5D04AECBF6A75F3BFAF9 |
| SHA-256 | 0DB4E5384303A20654EE7616EF2FE75503F460884116E6BEA0D9AA595D188FC2 |
| SSDEEP | 3072:NDpqqSYelx6yDbN7ceoV0UgEtfOfKCYsRcXyIYJnjoaJhsEn4LY95HHNt7x9lvBj:/u+kNhKtfwRRnJumR95brlvBXUV+t |
| TLSH | T127345C74A1118E74C7DF9CB8D3249190E3130B9FE1BA83868F29C25C4ADB7979957EC2 |