Result for 74715921BFF55B4473F44C44B5B7572D7D507BD1

Query result

Key	Value
MD5	C26219A15D1D3DF7BA984AE3FD3431AB
PackageArch	aarch64
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	74715921BFF55B4473F44C44B5B7572D7D507BD1
SHA-256	F9DC1DDD3451F813836980B60FD27191E960044255C1A7F922FF48F096D3C155
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/ocaml/coq/user-contrib/Flocq/Core/Round_NE.vo
FileSize	75408
MD5	589196B92DB31B17377DDCE6E809ED08
SHA-1	00759290FD7F8FBBF1E88EB0E96A493B4548C06B
SHA-256	0617BDBF6FC0A454E0F820040A9CCAC0CC47CABCC5CFDF29B43729B791E68D8B
SSDEEP	1536:hRzvumTGamXI20aMChUFPReaL7T/j2VZI:PhTGJI2uk2T/sI
TLSH	T1A173E644E1118BB0D4F9CD70EA3860D5A4020C9FE37E0B959A74826CDB9F7EB2D39697

Key	Value
FileName	./usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Float_prop.vo
FileSize	59948
MD5	1AFEE2DC2F95697AA9B438943B08D20F
SHA-1	0432DC2BB6BB9780B68AB6D1CDC1C00BCFB5A7C1
SHA-256	7256957E3693B02207D71808409617D36C38DC6CE62098EB28B9670EAD3DA2A1
SSDEEP	768:fR0M5mAu32Otp/mmKs82LmVhFV13d0oWJGw8TNnN:fRzvum2pumX82LaXV13d0oLwInN
TLSH	T11A43E744E5118BA054FACDB4DA386081A5160C9FE37E57999A34822DCFCF7EB2E31793

Key	Value
FileName	./usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FLX.vo
FileSize	67361
MD5	009CE824DFECB7886D1177CB0643D78B
SHA-1	06530657912AB1D2E36E86861A12233EA9F5C1E8
SHA-256	2400ED4A4D056D84DB907CC75B2CF91665833DD5CF243887E536C47B2D63823E
SSDEEP	1536:zRzvum5YEiPjR/7mX02La2NuIZQpUifAUb7vF4p4UQ2:Vh6L+03I8/AE24UF
TLSH	T11863F755E5085BB098FACC74DB386091A6110C8FA37E1B959E38816C8B8F7DF2E35397

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/ocaml/coq/user-contrib/Flocq/Core/Generic_fmt.vo
FileSize	170151
MD5	3CC602C3AEAD36C9CFD7C583802954D2
SHA-1	0BA04265DA714F10A2BEC9D1D59947271B0DECED
SHA-256	61BB13156ED46E7F78C8C695C6B5137829C910D380A229CA438BB76DD0A36C11
SSDEEP	3072:6hD4vEctYytzRTQdbjWfKr5VZrcLU9UsqU1zyewRHwzMslkn6Qw:QDdQn0dPWfcTr9UsnzyUzf
TLSH	T1D6F37D94A5165E74D8EE4DB4DB2460C163120DCF52BEA3D68A3C921CC9CF3EB5932787

Key	Value
FileName	./usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Bits.vo
FileSize	116964
MD5	129F04C084CF2D52982AB2EC13EBBBE4
SHA-1	0BEED9A6F04C43EAC2DE790EAA4BA9D081799CA7
SHA-256	EF7E084F9B8B37256DE57B3169FC985F7CC87B7D1BBC4B53F2F60335BC63E890
SSDEEP	1536:8Rzvumt6EUZBGcI3MTlmXuXLaFyUvdusp59YYwrWJIlqPVdsk9B6dc/rt12yr6+R:khWZzouvU1usp5ErWJR9f9BaG6w
TLSH	T18BB32914E1199FA0D5FA8C70DB3861A165020C8FE2FE07496E29922C9B8F3EF1D76657

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