Result for E55EAE14B4E44AA16E3940BDC4D855889E9B702D

Query result

Key	Value
MD5	C82AA631F4E4D7DEDEE75794B90E222A
PackageArch	i586
PackageDescription	Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
PackageMaintainer	danf <danf>
PackageName	coq-flocq
PackageRelease	1.mga9
PackageVersion	4.1.0
SHA-1	E55EAE14B4E44AA16E3940BDC4D855889E9B702D
SHA-256	6558183A8A0E06CD6941CBAE873D32428C563E6687CBD6C1F2B7D0B98A2B2363
hashlookup:children-total	115
hashlookup:trust	50

Network graph view

Children (Total: 115)

The searched file hash includes 115 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/IEEE754/PrimFloat.vo
FileSize	81916
MD5	D5B0630D9D4B56FB29DB68C044F9EB61
SHA-1	0C9A00EDD1EC2E3CF4C52310B18CE2553955546E
SHA-256	43F57C364B19EDBC7DB9788E54C87ADA6B1F1EEFED469D18238599D441D4A087
SSDEEP	1536:WdNXrwcUCXgSYgrhclVJQS5f1dRHaxZjI1gxFc/LGOVH6OdlrI9abWs:WdNbFXgNJQS5f16HUgxeiQaOdlk9abT
TLSH	T16783F89491169FA065F7CEB4A738609185020CDFD3BE5784AE38812CCB5F79B1E327A7

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/Flocq/Core/Digits.vo
FileSize	107734
MD5	9C5586AC7437C2B50FED3D22BAEA1CF5
SHA-1	0E18EBE4A87BB65B3E06198DB11C72FA677169CC
SHA-256	4B5EB3BC325593A045EBB714AA08C198C5D56675D13532AF02B3AA0BAD278B2A
SSDEEP	3072:dzbIFrwGUjef0y2t0ZcRupKfPzUmqDkzHphAnYy2hV:MwxROnMz5qDkknYy2v
TLSH	T143B33B8492059EB0C8EF5DB4DB28609023134D8FA2FE52951E39422DD6CB3FF29B5787

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/Flocq/Core/Round_NE.vo
FileSize	75404
MD5	0E9EED02E9E238C16A51F6C6CEFCBBEC
SHA-1	1627E622EC7855032ACFD5DAC5BB172A459C6252
SHA-256	9B14261AE92556E7003075B6ABF056823784C0F90A85FDC861BF673A858123B5
SSDEEP	1536:VdNbyRdQCegYGXhp+RStHOd7yCRUFPReaL7T/j2VZ0:VdNMXegYGT+RStHOFuk2T/s0
TLSH	T11073D744E1129BB0D4F9DD70EB3860D594020C9FE37E4B989A78812C9B8F7DB2939757

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/share/doc/coq-flocq/html/Flocq.Core.FLX.html
FileSize	43848
MD5	E644856EA3F977BE8F1E6DE19464E1D7
SHA-1	189FA0CACC537F94395842E9C26FC300D1027B43
SHA-256	BD75E3627CC23A4513A594076E3D8161DA686F8B72E3CC599507F4090388A5D1
SSDEEP	384:pufoc29YuLuGungzpG7J8uBuytcjzhRv5a73FD5Bw:wfoc295SfngzpG7JNoHz35a73FD5Bw
TLSH	T1C71327E847A7297B557286FA32F96B38F1E10985E0464C10F1ED0BEB578EF217652833

Key	Value
FileName	./usr/share/doc/coq-flocq/html/Flocq.Core.Round_NE.html
FileSize	36402
MD5	D03AA029869D0ABC9CB2B760E4519C31
SHA-1	1A1FB5B8D38DE002F9706CEA1B7824931D7722CF
SHA-256	5CD13051D75119461BD2452754468C781D189F38B6BD1C31934E21821F11E478
SSDEEP	192:VLu3f/L7i+nHsa9hymXaetqUzeuzSa8QSPS/cPSgHq3QmPS/mPSkJ1ls+b1Hdcjj:VCfPPN9raa8Tztq3zB2Sgbc7e/Xrp
TLSH	T179F24AE85796193F557786FB32E86768F1E10D45E0868810F2ED0AEB5B8EF207691833

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