Key | Value |
---|---|
FileSize | 3307256 |
MD5 | B3EBA8CF9D82CEE573A8DE7FBE3BD750 |
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 | 208225D1ECBEDB8E753D9E7A2E46C467BD16C76E |
SHA-256 | A78E0FC553C990EC7267CFF7CDEC6817AA9897483A26E22AE79DD7E08248D854 |
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 | ./var/lib/coq/md5sums/libcoq-flocq.checksum |
FileSize | 5 |
MD5 | CF59B9FB67BB87496C2000B45E91A94E |
SHA-1 | 061D676062D3AA81FAB039C6B78A593C95D3D659 |
SHA-256 | 6868F2B2DBEBD46D410E555A8C09AF815B5792BE1C4FE32F5A1CDCE12BAB1757 |
SSDEEP | 3:HSn:HS |
TLSH |
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/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/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 |
Key | Value |
---|---|
FileName | ./usr/lib64/coq/user-contrib/Flocq/Pff/Pff.v |
FileSize | 1132054 |
MD5 | 6080918CED5A937890C23C869E662E5B |
SHA-1 | 24E412DB11F993655D55062D23394600953C6680 |
SHA-256 | 8CACA4CD227052DF4EDD97DEF6CE92C01E22D647A5B7FCFD8F0BB15C225D88FC |
SHA-512 | 37AE3C87E2C65AECBEEBCC193F67E91C79E0BB72E7F58D86A7CE5454101DE6BF4C6AD63E5CC44B544D107DD7AD0F3634F73AD964E3FCD9C7A85AE5F682340EC9 |
SSDEEP | 6144:f5EBIh0NvAUB+wNbu771XBFGQY02B30THRpW12CJyxCx8armGro1pygK7Z8DLwvr:oNv/+Gbu7ZXBh2JmUo1Ig2DoCA+g4 |
TLSH | T1433552439B218A5F76CA743DFFC890E0BD0CEE0267C9E318B488D1AE156797E40B5D66 |
insert-timestamp | 1683748202.7019148 |
mimetype | text/plain |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31 |
Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/Flocq/Core/Float_prop.vo |
FileSize | 61935 |
MD5 | 8ED90FA81B62F28213964A1E5762B610 |
SHA-1 | 250BB859FFAA22B65A9F4F533C7555FA4D029A32 |
SHA-256 | 16B7011367F4D7DA56393643CE79BF6C8904DCB9F655A3FCE1CABABE64A005EE |
SSDEEP | 1536:gkHdHOYxIGXfUI7Br8zosM912fJu5JwGwqh:gQdu8X17Br8s12Ru5Fwqh |
TLSH | T1C153F849E1104BB045BECDB8EA3C60C5A5120E9F937E4795AB34816C8B8F7DB2E71793 |