Result for B81DDB2D5D649DB81CFE1C4282E58533ACDA4BDD

Query result

Key	Value
FileSize	70365144
MD5	B23AB1B1D1BA264533AC47C3200815DA
PackageDescription	proof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.9.1-5+b1
SHA-1	B81DDB2D5D649DB81CFE1C4282E58533ACDA4BDD
SHA-256	52827CF08D9FB4A0113D5C2377874E6D4608855441DCE6EF0149EDBC38EBAE48
hashlookup:children-total	48
hashlookup:trust	50

Network graph view

Children (Total: 48)

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

Key	Value
FileName	./usr/share/doc/libcoq-ocaml/NEWS.Debian.gz
FileSize	269
MD5	0ECA063A774B94A35B2709F6E8E4D6AD
RDS:package_id	182052
SHA-1	01024660E771DD5236B4AB77DFE0050CD2399988
SHA-256	B1659BBB950B950046B4C9660BD1BA77AECC2AC75CE8D9172942608DD8A845CE
SSDEEP	6:Xtq1MrzCx26YMHSG51tXgMIdrMzczJzVkVpXV77AFBS4jMNl:X81SN6RSGvttI9Mz2WV5V7Mi13
TLSH	T165D09535760099B79E5DD0F1357CCC4EC512C2098C20F1B1A0A5E013D0E6764D4DF904
insert-timestamp	1679425887.2617948
source	RDS.db

Key	Value
FileName	./usr/share/man/man1/coqtop.byte.1.gz
FileSize	275
MD5	C85D082EEF138584A662D850DBF002E0
RDS:package_id	182052
SHA-1	02CA91ED439B35E686C7FF49CDD3E8E67EB0E7AE
SHA-256	E790CE35A5A670BB38D1B71AE4A52467D42C425651C8AF23A8273617936C410A
SSDEEP	6:XtCvPuAceBvF2JT+Y5UxHhMutBBlBNduhXM:XMvP3csvFI+Y5UlhMuplBAc
TLSH	T174D0E7B59CC920BF8BDD040147101D631787D5DC1581642500471680314954D7673834
insert-timestamp	1679424703.0916345
source	RDS.db

Key	Value
FileName	./usr/bin/coqproofworker.opt
FileSize	18692552
MD5	7DB7CB97405EA28DD84F2D6745BE8FEE
SHA-1	036A317EAA5817D6792446B0F0D1FA78201EE562
SHA-256	B1D40E0A7AD60F9D14E776412882FCE84D3BF6C2E7D55CC259BE1591B1FB2600
SSDEEP	98304:gnNNI0baUk7UklXTPdGQHNwb6zsZQcIw/HyAzxKKOTAs/oX5vxrg67ilPe:VUWUkRT1GQH/zsZQcI8Ss24mjlPe
TLSH	T11F1719ABF9CA597DC2BCC23A85A667B57BA17814169067031ED0B7100F434EE1B7EBC4

Key	Value
FileName	./usr/bin/coqc
FileSize	1824040
MD5	91AC3385C6C03AEEB01F854A6C13CC1E
SHA-1	06D0CA77EAA87202A4601F65D5405178ED3AB0E7
SHA-256	058102FF1EDF11367B210F3B3F2005B2CFB02EA19E55DBDF2C64D2AACD76936F
SSDEEP	24576:ThHhSjcZY0Lw6uJ9K/W4e1WdLL0CJRUNqISvXIzI:ThHhSjcZY0LwJ98Wn1WdLL0C/UotQs
TLSH	T13585184BEDA98C7DC3FDC13889AA1BBD7D7170598AD02B1219D0A1202F036AD5F9D7E4

Key	Value
FileName	./usr/share/doc/libcoq-ocaml/changelog.Debian.amd64.gz
FileSize	224
MD5	8A1C6E147FEE9D9A4478192CB1075669
SHA-1	089BFB91319D0A0DD6946783AC0A1A7DA57440D7
SHA-256	4FACCDD075EC883E139B17D2E4B703306B6D67CAAA4044C26FA87D04E928BE59
SSDEEP	3:Ftt9scZhy3cQtIA+WASTAHqEu682+FRvskaCBmEPtRmQ67rtRkTV03kPCkBA2m/Q:Xtdhy3ZtttEuN9BJjn+uferH2vjln
TLSH	T1FCD0231F51F6E71D5D0C4D710671148A4CC2DE3C32CEB681D5F7C44568D5A44027A149

Key	Value
FileName	./usr/share/man/man1/coqtop.1.gz
FileSize	942
MD5	D8ADCA4C3F44E97B2C7FBD8002FB7E8C
SHA-1	0A4B95D7485B0C3A30E390D3C8E3F659CBE5D141
SHA-256	6894A31ACD532564D285C124749806828A23BD190066C308388B81E69B1D480A
SSDEEP	24:XFpVUYI+4DTCvr/y1alOBDFnj8VpuH814RnKCKs1jUbgV5vezB86z3K:XT2quU/WDax1mRKshUtzBnK
TLSH	T14B11C872A2150B17860297274475A5E04C9410D17CA83BE3F0AE0F5F3618F19224F735

Key	Value
FileName	./usr/bin/coqdoc
FileSize	1902152
MD5	1A91F86C939DC2E73A91761B7E1767C7
SHA-1	0D120EF4A3817C175F5CAFCE6AB18D1C9A309581
SHA-256	9887CC31E15526523164922C3D6D8B2FB83B1CD7F29C7D766B842B0F3B3DC6D5
SSDEEP	24576:PXRNfjSHxO8n/YA/eoT7TDnbwHgkQRwyelecVKs:fRNfjSHl/YWeoT7TDnbwAkda8
TLSH	T11495195BFD698D7DC3FCC238889A0BBC7D617C5985E12B021AC0B5101F336995BAD6E8

Key	Value
FileName	./usr/share/doc/libcoq-ocaml/changelog.Debian.gz
FileSize	8843
MD5	3D5659A9AE089B2C3852A3DF44E8B516
SHA-1	18B75666B54F972AD13DA7E55B2455EA7A50389D
SHA-256	D46D2A2B73A1E5B8E046C951AA86A93EDAC4609E7F9C57938706AB79B5BEBF00
SSDEEP	192:FcP0sF8K9a683088KnlbbZWwCphHO4jlMKGz/VY4bl3g3D6iK9J4c:DsL9m3Dd5gvhpjAzeuQ3D6iK9Sc
TLSH	T1AC02AFE4A932756C7662CC4FF4D9FD7565883308210EF81960E651B9632D1D2BE68D02

Key	Value
FileName	./usr/lib/coq/tools/CoqMakefile.in
FileSize	26677
MD5	B3B81AECA29761307829E5E94AFDB12E
SHA-1	1DE7E41411DC79007832180390F54EC9661FBD18
SHA-256	47E360A1EE5A2B877B9A9615FC25C25F8EB33189DA488A2DEA1782B2A839C304
SSDEEP	768:60xhWYaZHpH4ZZUxobMpMJ907ssLHrhGlfEIzvIK8:60xhfaZHpH4ZZUxXpMI7JLqEN
TLSH	T15AC2A73AB7092E6E9B8509E470E85148760F0096ED23B4B170BD8D3DE37A0ED61B6DE5

Key	Value
FileName	./usr/bin/coqqueryworker.opt
FileSize	18692552
MD5	22383D366F6F0844874CDE498795B7C5
SHA-1	1E11F15153CC6963BE955C8C3DE8034DC12DE25E
SHA-256	3C032EC7DED9945A321A24280E47B76CAE46380A6BD399DF994EDE22A97188BC
SSDEEP	98304:UZdOO7acjaOC7r+FXToduQ/Nyb6zsZQcIw/HUAzxKKOTAs/oX5vxrgD7ilPe:UfOzO8r+xT8uQ/JzsZQcI80s24malPe
TLSH	T1FC1719ABF9CA597DC2BCC23A85A667B57BA17814169067031ED0B7100F434EE1B7EBC4