Result for 6BF87C6625B9DFDAED8D04479E5EE98D4182D1B6

Query result

Key	Value
FileSize	4619736
MD5	6A7CE4D42292231F8B258DC1CDE39DD7
PackageDescription	algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-coqeal
PackageSection	ocaml
PackageVersion	1.1.1-2+b1
SHA-1	6BF87C6625B9DFDAED8D04479E5EE98D4182D1B6
SHA-256	906637061E3F6335D574CC669B915B0731895F91950EC24FE06FF4DF2EA5C440
hashlookup:children-total	154
hashlookup:trust	50

Network graph view

Children (Total: 154)

The searched file hash includes 154 children files known and seen by metalookup. A sample is included below:

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/trivial_seq.v
FileSize	2237
MD5	F423ABF5ABDC958E07B1C9D7D21C226A
SHA-1	00348818A4987D7FAFD7843B78B4F47023EFCD47
SHA-256	54950608413770CA2C33B701DDC3C123D63E1025E3888698C10D285D3C15A9FE
SHA-512	EDC0C00621C3F9E7AB09BE1BACE756172EFF60A63019ADB883FDD42ED46F193274371468FA84ACCEA777BC14B05057A11CCD6AD07ECB440A992567441911BB1B
SSDEEP	48:CMH/G2f7aTTn22tHA2+gKG/2zx+LPTifXqjT2Z7LTUmm+XQnBg:9nf7+r22wVGTivquZ70m+e
TLSH	T1CF41DF4739CFA4189B8868EE3F2254551F42CD6F42740B32F0DDA6BC1FA8698B5E00AD
insert-timestamp	1683748201.3725584
mimetype	text/plain
source	snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/CoqEAL/theory/coherent.v
FileSize	21620
MD5	4703BEC5983DEC31B498F15AB8A16188
SHA-1	00CDB72DDB3F3F792EC054B21DF94668BCEBAC43
SHA-256	0790B3D4A79A88588726C69DBB7D7B5D38BE7CC64FC3398361B9ED9395D41D32
SHA-512	65E1B45B372A5CE2A351667C37E563643D363353EDE8DBE89EFD75A6DB768AC88DCBD849D0D811AEF7E43C470B5855826B180B98614A39932B56147261C438A3
SSDEEP	384:81ZUirjPiSmnItSJ8ZrRs2B2dhlqzIg5I+IOIlI8KNIwzu+IWgdBF23gf8e/aTRV:uZvEnIEyBRs2B2dhlqzIaI+IOIlI8KN3
TLSH	T10DA2D9C3B2CD9018AED5C17BAFD1B0897A1DCC08D6729709B4ACD7F44BA793C8729681
insert-timestamp	1683748201.5467608
mimetype	text/plain
source	snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/CoqEAL/theory/gauss.glob
FileSize	28206
MD5	E6E6426A0A2474E19B50DB7AE96BBEFF
SHA-1	011E37378CC9F503BB0EB9A67F655A66856F2760
SHA-256	3BF3CD68C926E7927F192A4C89D3B21C21BCBE4DC4087DB779F787CBDBF95649
SSDEEP	384:JEYRT/k99l/sptItRTNxe96K/xpr7JQJhXsJ7JPOJ0JkJHJtJ18JkJnJ3JeJMvJI:uVlnXB9/r3dFGVGVG9MI/Mzcke
TLSH	T104C2493C8D575A75AAC04E1AC79C6B156EBEE4ED334312A2EF0ACD39389491615EF3C0

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/CoqEAL/theory/polydvd.vo
FileSize	255721
MD5	68A3436D8E0C6E33A7CAC726EC56BE95
SHA-1	013B0B800BCBED86D68FF7DDE91706CC91865E29
SHA-256	4D30D610D2D067AB9720D5C976EBD24DF2E4D576549E55AE5F544AFDF0249664
SSDEEP	6144:U4H1Ys00Cf0mSoQ2pDy3Ydkcf0cHnMuOSilyMPlABw:zHmLf0mSoQ26YOc8cHMFSTM9kw
TLSH	T1CA449FB9D405AD74CBDE2AF4E314D400AB061BDE937A05864F17437C96CA5DF288EACE

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/poly_div.v
FileSize	6772
MD5	757B8C25B4D509BF30A08B328936320E
SHA-1	0508A7C56D6302F4A9AD5B500C173D6B88C76ECC
SHA-256	41098FB8E37C93F6631AC97BCD87205712F7C899F043E28AA308399D5F54B551
SHA-512	593D4FED92403DB3A7A601DDDBE2E7F3BAED1219A06F4192C10B52C812462E8F150214BF5E0261B531A75BD6AE7368C6F0FF99B985CF5D31D71524001D0A8208
SSDEEP	192:81buQRjTBzZtt5gjb2xb1bKQxL30IkgsgG0+svDl:815RXBbgjqxpeML30IkgsgG0+svDl
TLSH	T1DBD11F6607EB9010F24C86E99F47780E2B27EE0B73546B76B48D41E40F9427AB9A05FD
insert-timestamp	1683748201.1573725
mimetype	text/plain
source	snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/CoqEAL/theory/smithpid.v
FileSize	13885
MD5	9052F3897179ECE940B6A277BF158D18
SHA-1	06027296D75896E37361BA906DD25D66F5489247
SHA-256	BFC16F4B19D0347A0510A6C5790FF88A7D7A1B8F63B74559DDA3F754635E78B6
SHA-512	C91CFADE03220BBB3F543FE81C289D6C8FDE1CBD366F7E294D1986C0202B62E730FBDAFC5EA6CCEFD8053FB23EBBE29E8F51DD5A27026F28D443C238015298AC
SSDEEP	384:8EedVYHu8gBOCaZ8PQ5YJOFc1i8KETx29g5vHsxpU/n+XCc7Bwq2F:NyYAhaZ8PQqwFc1i8KETx29g5/sxp2n9
TLSH	T14352D95BF644004E0B42D5BA9DEBB9503F09C81D9533E784B8CDA5EE6F180AC97B39D1
insert-timestamp	1683748201.7729018
mimetype	text/plain
source	snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/CoqEAL/theory/binetcauchy.vo
FileSize	163664
MD5	8C4A4E53C2A5D85FD5FB1D27FA1FDACB
SHA-1	06033F9C209BA93F32A559A3B8243588AAA239EB
SHA-256	2FEC0F69D542A0F67BB3F497A4F1132FF970A8F791B9F989A849275A28E86097
SSDEEP	3072:B7GpZXZqlLutcSw3945ynAYZtkp7vhNZyeJ0v0bQlOeCfiffRgngJ0LCil7T0odu:IvJqlyw3gynAYZ8hNZH0qQlOeCfjVl3q
TLSH	T146F38E78E0026D70CEDF6EB5D75CD040A7071A9E92BE02871E1E426CD9CF5EE249668F

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/seqpoly.vo
FileSize	256798
MD5	391D8B70301159B145D4BF6FF23F5C6C
SHA-1	063DD741312EF82C30F245A2AB68A182C42C19D7
SHA-256	B50060868B5F64DC38DABC5C17C83B55316A92FCD23A5B9A017A2E9ACD722862
SSDEEP	3072:N74a48GlYVNf7iWtQfI8xzJ3LJ9zxS4WPc1pASNkIZDY5ZNglMJejIojUE6qK:v48GSLupI2zJIXPIBCIZFMJeNQTqK
TLSH	T1CA446C6DA206DC38D3AD1D71DB6AD544E385174FE3BA1303192EC2784DC33EA698E58B

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/examples/irred.glob
FileSize	75477
MD5	3DAA835296337E2C6E5A21497A1F8208
SHA-1	092848300772424CFB829E842AC1EEE96468F9C2
SHA-256	4F199F9691EFFF1E0DD7D3BA2960177811EDDA29E4666D2CD30B8E72FA992315
SSDEEP	768:fGUhQQD0DKzy2snMQfuZrx5CD3ZbcK0gDYFShHNSGScQa03brMMCbyjAAAputptK:xhJy2sxfuR6D+GSA0LrMMayjAAAputG
TLSH	T1C073D13D2F0A8865258475D9C7D90B6A7E7EECBF63434A218B4D9E6C7CA4B3235C4708

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/CoqEAL/theory/similar.vo
FileSize	259634
MD5	3A70332E64320EF8471CE94893DA2229
SHA-1	09D132EFFB95BBC6B55EB98985423C44AB138C9B
SHA-256	97C60C33E37611ECDD80DCEF2363B7EA13800EB18760FE662EC63A1BAD893585
SSDEEP	6144:S3EExjLKONgiDeo71i/lA6Trb0WpPRog+mSQPPbb/:SUAyONfDeo71i/3TrgWpig+mzPP3/
TLSH	T17644AEB9D1D99CB0D9EF1EF1DB18E0107F13194F93BA07946E1C812889CE19E285E9DE