| Key | Value |
|---|---|
| FileSize | 3307452 |
| MD5 | CCB11F8F59863C58CF001B2F80F4EBD5 |
| 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-3+b1 |
| SHA-1 | 1D827FCE28C4D1AFCF390EBBA38ACA17B7351ADA |
| SHA-256 | EA5162EABCF5A0DC3ED8A6BD88FA9E99B115576DB22C6C2E3083612B69656FCE |
| 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/Prop/Double_rounding.vo |
| FileSize | 551164 |
| MD5 | 7355DA6707DB7F17AF519A79B05D4E3A |
| SHA-1 | 017CC74B326D678DB44F4B56D7FDEFF33A6162BC |
| SHA-256 | FCEA1CF3F6981D3E1DB316525E3149E4A8623F5D34491060EE40A76AD0C0D4D3 |
| SSDEEP | 12288:jvz9vOm8pG5FEOognGopmjJH9MycQvXXSSyQW9jouZJhOwa/fKokT/oeYI:LPWG5FpognYjIgSSajou/hObXJkTXYI |
| TLSH | T1E3C4CF6D80099DB9D5CF1CFBFB10F082B3A3094F927A12434919677C81C7AAD696DF89 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Plus_error.vo |
| FileSize | 79270 |
| MD5 | 6831B7F55DD6ACF7ABA37876747D1153 |
| SHA-1 | 0474E12692AE8FBA5A1E85228320C5ED845E9A95 |
| SHA-256 | 4D00D5422FAA27DD2BEAD38818BA7405B8FB5EA775385162E3E7DC6E2CBB8B48 |
| SSDEEP | 1536:iE2/0lk3lIG6caS/XsP3H7/SgZ0mxsDy5OGjBeOoDIxrdD:x2x2dOcPb/JNshG010T |
| TLSH | T1BC73F659A011AFB155FECD70EB3860C1A5020D8FD3AD0795AE39826C8B8E7DB2D72753 |
| 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/Prop/Mult_error.vo |
| FileSize | 63790 |
| MD5 | 96E7EB6E1C165906F3E3B073082FE726 |
| SHA-1 | 16153ADF5E2E8871A31735D4ABCA12944D5B4CF7 |
| SHA-256 | 74DD392598AF48010023189EBAE226CD18ACCE900A7E64FCC22142370F122790 |
| SSDEEP | 1536:OE2/0lk3Deb5sN8KLfjbIOvuxcFoSIEfkgz0x:d2xDSyN8KHq0lsgY |
| TLSH | T135530849E0118BB199F9DDB0DA3860C5A4030D9FD3B94B94AA38822CDB4F7DB1D36793 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/Binary.vo |
| FileSize | 231419 |
| MD5 | 334D34AD833CEC40836316532CA69D0B |
| SHA-1 | 17187059197107EC2002210F24B75E685893EC84 |
| SHA-256 | 9F527218BAE2C317CC3890805EB9408722F6C2D253395A186662E21368DABA04 |
| SSDEEP | 3072:m2xKpqqSYelx6yDbN7ce76pu0Ug2tfOfKCYsRcXyIYJnjoaJhsEn4LY95HHNt7xv:mlu+kNhkqtfwRRnJumR95brlvBXUV+v |
| TLSH | T13E345C74A1118E74CBDF9DB8D7248190E3130B9FE1B687868F29835C4ACB3975997EC2 |
| 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/Core/FLT.vo |
| FileSize | 83710 |
| MD5 | 7A4236AE581E4D094E43E474F85E1B9F |
| SHA-1 | 1B4417AF3F15D4360C1C6572AE4BC5641159058F |
| SHA-256 | 3E4385EF4E0240270738A242897804D5E6F8A362F90081AF1745610DD0659FC5 |
| SSDEEP | 1536:6E2/0lk3X4otP+6HlLshMAZKnpz329p4eB0Z/sju8ivYr3:52xXXDFQhBopzYB0hsju8iG |
| TLSH | T132831954E0149FB055FECDB4EA386091A2030D9FE2B947859E38827C8B8F79F1D36693 |