| Key | Value |
|---|---|
| FileSize | 3307532 |
| MD5 | 9BCDFE153F6FE2AEDD632381350397EB |
| 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+b1 |
| SHA-1 | 6C85EEC506E80B7FA2F1743241C086A0BEE4AFE0 |
| SHA-256 | B747248AA1BA18C2CEE8663D8C26C97E1A301B0EB49CDE547A0465FC5BDCA040 |
| 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/lib/ocaml/coq/user-contrib/Flocq/Core/Round_pred.vo |
| FileSize | 127519 |
| MD5 | 5A9FCACC80F4F43A2D1C421988F6440C |
| SHA-1 | 01DA479DB8EFFED4F7B7C6BDF9BF09080D8CFD1D |
| SHA-256 | 519A5630DF7A117AB0E06626FDFFA4E22AD6EBBBC063C9D5A173B3DE60515AD2 |
| SSDEEP | 1536:6hbX8kUkQVjV7tTBSi1S7IT4hGl1gBzlagziTJIJzgCaZLjXRBR+ElNUk:6bX87kQVjhtTBw7IT2Vlhz/zsXBGiNUk |
| TLSH | T1D1C33C54A6105AB8CEEF9DF8D62850D152070E9FA3FF4786DE36815C868F3E71923293 |
| 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/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/IEEE754/Binary.vo |
| FileSize | 231451 |
| MD5 | CF024D15C1F225E95AEF12C12A51D331 |
| SHA-1 | 128778AAAF347BAC673AE59AC68B4A092E1E0FE6 |
| SHA-256 | 55734918C0F85EBB399F7D5B0771410CD0827C944A393245DD6C16F1C71FCC50 |
| SSDEEP | 3072:wbX0fpQqkYelx6yDbN7ceOaJL0UgGtfOZKCYsRcXyIYJnjoaJhsEn4LY95HHNt7r:wEC+kNhO2tfGRRnJumR95brlvBXUV+p |
| TLSH | T132345D74A1118E74CBDF9CB8D7248190E3130B9FE1BB83868F29825C4ADB7975957EC2 |
| 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/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/Core/Core.vo |
| FileSize | 29232 |
| MD5 | D3747B12EC02516CDCC203C639CDB3DB |
| SHA-1 | 1C012931CD7FBDA3704C059647ACF33B667FB0FA |
| SHA-256 | 5A4AD137A0326406F6C1815FB28653D726649322D442B04C34E54A2283512FE5 |
| SSDEEP | 384:ghMsXHE94E0kiKP2VMBVRS8Lx2hHdQdhuFSzjVFMe+c4wfQ8wBhyLvmpDrcnZ48E:ghMsXHSJid+hLI5SzjVOHc4wLe2pDK |
| TLSH | T1A8D26444E11087A09AF6CEB08E3820D694450D87E35E5B68E778816DDB1F7EB2F71763 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/user-contrib/Flocq/Prop/Relative.v |
| FileSize | 29543 |
| MD5 | 5F97E1ED068EC00F716E071686873A23 |
| SHA-1 | 2002C2FA469A4EF3AACE059A3B639F7A839B2323 |
| SHA-256 | 8CB557670996AC337B3A84F4A21B268908AF8D913FFEF98EE029966E8BE53CA4 |
| SHA-512 | B3901C81D5D7D1510592430E152C145E7214F5F5BA05B64AA282F9F64AD2EEB23AF43464E3CFD01794DD1775C42EAE761E3FDDD4B3C496ECE8AD3A2B9DF4709E |
| SSDEEP | 768:BE/hB/isGzp8bUYPSkJDRACrhsHXOCDakr/7jq1:m/3SkJDRPrhsHXO0q1 |
| TLSH | T1ABD2885B7B2641295B87BEFDFE51D4C0AD018E78C3E9BB04141B81BC32A4D9F9A51E23 |
| insert-timestamp | 1706626801.8288505 |
| mimetype | text/plain |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33 |