Result for 3D9FE7FA9941EB51469E320B9B91FAEBE95EB114

Query result

Key Value
FileSize13698864
MD51A619118FD1079024949EA6763405BA9
PackageDescriptionproof 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-coq package to be installed.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamecoq
PackageSectionmath
PackageVersion8.2.pl1+dfsg-6
SHA-13D9FE7FA9941EB51469E320B9B91FAEBE95EB114
SHA-256B31FF4C4ACABC675F37A9B8F2683A0F70A218CF77811E95B3E9B5BDE767FA736
hashlookup:children-total47
hashlookup:trust50

Network graph view

Children (Total: 47)

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

Key Value
FileName./usr/bin/coqtop.byte
FileSize5634752
MD5AFCF7E6843B6943D53B3CBDCA8B5280A
SHA-100FBBC96C007F556EF3ED7209A03A1CE280AF2E6
SHA-25655FB2EB7C9FE4AA9B34A0CEFFF7BB8ED66BABE4E1D0CD7D4D3862806F24E6B3C
SSDEEP24576:k3u561NNNjmIEX33x0KA2L18cYqtY2CoChf:k+aNNNjmIEX33x0KA2L18cYqtY2gf
TLSHT10146AB0BB7108EE1C5A60AB2D993C3852336EA759F43071F259DAA5C39C3B5F6F84748
Key Value
FileName./usr/share/doc/libcoq-ocaml/NEWS.Debian.gz
FileSize269
MD50ECA063A774B94A35B2709F6E8E4D6AD
RDS:package_id182052
SHA-101024660E771DD5236B4AB77DFE0050CD2399988
SHA-256B1659BBB950B950046B4C9660BD1BA77AECC2AC75CE8D9172942608DD8A845CE
SSDEEP6:Xtq1MrzCx26YMHSG51tXgMIdrMzczJzVkVpXV77AFBS4jMNl:X81SN6RSGvttI9Mz2WV5V7Mi13
TLSHT165D09535760099B79E5DD0F1357CCC4EC512C2098C20F1B1A0A5E013D0E6764D4DF904
insert-timestamp1679425887.2617948
sourceRDS.db
Key Value
FileName./usr/share/man/man1/coqtop.byte.1.gz
FileSize275
MD5C85D082EEF138584A662D850DBF002E0
RDS:package_id182052
SHA-102CA91ED439B35E686C7FF49CDD3E8E67EB0E7AE
SHA-256E790CE35A5A670BB38D1B71AE4A52467D42C425651C8AF23A8273617936C410A
SSDEEP6:XtCvPuAceBvF2JT+Y5UxHhMutBBlBNduhXM:XMvP3csvFI+Y5UlhMuplBAc
TLSHT174D0E7B59CC920BF8BDD040147101D631787D5DC1581642500471680314954D7673834
insert-timestamp1679424703.0916345
sourceRDS.db
Key Value
FileName./usr/bin/coq-parser.opt
FileSize8020732
MD50E50DE71FE27058F81FF0E9A988AEB81
SHA-10C68F2EE92528D51DBDDFA12D566B9A4F3D3FFCA
SHA-25661AE758FDDEFD6445FCDD1BDE9871A0203566E4FA5B1B6BB4B2485220D68D9DD
SSDEEP196608:BPcILutFtOb67Jd4FG22YUc9UivggFTDJhQSKEk:B03tOeHT
TLSHT1D4861AE3FC490A7CC2ED4EB096AB57BBAA70490339905339CD68F1503E823F997295D5
Key Value
FileName./usr/lib/coq/contrib/micromega/csdpcert
FileSize521588
MD525EF708AFDDF677366CF7C0A6F18D012
SHA-1101D65A4396982C2F41BA30A134E5DCDABD33C02
SHA-256BA40E26FDF639D6126EA277DC15BA2110056F84A18916A829330C2A709942CEC
SSDEEP12288:uqbyhly0Gk53+5fyEitT4QOd9xrcg5LSS:uOyhlnGk53+5fyEi09xrH5LS
TLSHT133B4F7A3D843A97CC36D07B051EB5BBB2A35018204964F379074F968BFB7365335E9A8
Key Value
FileName./usr/share/man/man1/coqc.1.gz
FileSize466
MD56FD3A11ADFDA44881AEDE4E47543C899
SHA-11063A00F507FBE10DC4791D80816D8F9A134D090
SHA-256A802C392B33B40BA899818BBA1A57BC141AC8224843AC376B01366E607C9B17C
SSDEEP12:Xni4uO7I4QjW85IqgaBaGrKlPFDB0bmCDIzRIMfWh55CTu1s:Xi4uO7xQj5X/Tr6FKyflIMWUi1s
TLSHT1D1F02351110D2D4B9B9423395B9E038289CD8F5D8650A4B322E1DFAE07336A59DCDCDD
Key Value
FileName./usr/bin/coq-interface
FileSize5936466
MD56CFE35E0CF379933D3A24004D37B83EA
SHA-11A84DFF381271954E5BCC0F563BDFC8E7DEE0043
SHA-256D7E81E286B55771D563CA7FF0F601E0A23225B8C134757F4A2844BCD257DCA1D
SSDEEP24576:k3uvP61NNNjmIEX33x0KA2L18cYqtY2CoCh+:k+gNNNjmIEX33x0KA2L18cYqtY2g+
TLSHT17A56BB0BB7108EE1C5A60AB2D983C3852336EA759F43071F259DAA5C39C3B5F6F84758
Key Value
FileName./usr/bin/coq-tex
FileSize238336
MD5949EC56C7A296AD532F4771FB5EDD0C0
SHA-12195D45F47E8FFA1F40C4649F8D9C9E938F08EB2
SHA-25652792CEBA480D432F65BACD9ECA911E6B568E77E10C00EA9D76A42C434A09BB2
SSDEEP6144:aof/FjGvh92YG/sUcJpKEJTWCgjiBtRqN:jFy92YG/sZTNz
TLSHT127345CC3E946DC36C2A94671A1D3F7BB26314642240A5F3BD954F850FEE3265332A2ED
Key Value
FileName./usr/share/man/man1/coqdep.1.gz
FileSize1514
MD5FB564D4410BC73766C5F8D450B8EBE20
SHA-12CA2A288AC2CCB64187F86EA3F2EF7034CCA93FE
SHA-2560AB4F1ED78232ADF256827FA5DA6E84E3EEF410F3C758246D64BB773F7F68A37
SSDEEP24:XFxiGQJ674GMjZMRrJk1eviPpyUZrmwihiBs0ZIRH5TDmp05YodwP6Ve9gOkGhsm:XFUGxEGCek17pyUVmQsu8ZHmupWjafPy
TLSHT1A531DAE45689C080EF7D03A597F8A3D7D48E5D6A864220C277242F55635219C4947955
Key Value
FileName./usr/share/doc/coq/README.Debian
FileSize694
MD5B2923F1FB249EB2BE4E91F2626F07CBC
SHA-1319442A49632952E1DB33A43F29FB664362D3E60
SHA-2563F9C2D47934039FFF3BA817DBF2D0AE6B856EB3569AF1A309268AF809D576094
SSDEEP12:LoThhpYw24kFBwRFfPeTzHFtsSQMSDJ0SfMGofBdS/pon:LoTjpYwEFBwXPeThrSd0iCBO+
TLSHT12B01DD7ADD4D1A18A0A0E4D2375A58EED36C647DB79181A2A07D022D318BFA043EF0F2