Result for 4BE99A7A202ACB87849042F1CD10D3DBC779C489

Query result

Key	Value
FileSize	7866004
MD5	6347C4A31640BB581D5C5429FB695721
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 Camlp4. For more information, see <http://coq.inria.fr/>. . This packages 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.
PackageMaintainer	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.1+dfsg-6
SHA-1	4BE99A7A202ACB87849042F1CD10D3DBC779C489
SHA-256	6409A945E35F7753BC09004FE135DA587564E3343F7F2FBB0F661E8706B32CB8
hashlookup:children-total	63
hashlookup:trust	50

Network graph view

Children (Total: 63)

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

Key	Value
FileName	./usr/lib/coq/interp.cmxa
FileSize	22500
MD5	5DA966A62CBEAA9ADAD0910B0CC2FAF2
SHA-1	09DC37415B5699E64376805357138FB7CAB8AD30
SHA-256	D5DF7394D402AAE27189C46E57D73707F9DF369BEAFDD630BB2EBC64914EB8D5
SSDEEP	384:tHUMfYNtzO8HMbu2i6nMvClPBBrIbBzXQqEMKlDjVmkUOMA:tHUoYNt6oili6nRlpZuBroblnw0b
TLSH	T14BA2D651321477579853C6B6E742B40139D80DE3CAAFCC7777E8AAE88D48DD20A5BB23

Key	Value
FileName	./usr/share/man/man1/coqtop.byte.1.gz
FileSize	289
MD5	47E98313758153D542C70C49F0132A38
SHA-1	0A1D3545244FDF77D7F8C438CDB22DEAE82D6416
SHA-256	C476FF6657884EF65BF32D68DBBB52C09E85130725EF242A290033085D978AEC
SSDEEP	6:XNVUvovPuAceBvF2JT+Y5UxHhMutBBlBNduhXM:XEgvP3csvFI+Y5UlhMuplBAc
TLSH	T1B6D0E7A59CCA20BF4BDD040147201F631787E7DDBA81302D454726C0325694D7B73C35

Key	Value
FileName	./usr/lib/coq/parsing.cma
FileSize	241403
MD5	5707BFC4C325AAC4C6F98F3246828DBC
SHA-1	164EA2DD466E86344B6C0B5A4476D63E37142E9D
SHA-256	BE5109480EA2685ABD64DF2E0FD873258EED536D23694F3EB744A4FBEAD874AF
SSDEEP	1536:n7GnmIHDbZ4ZOsmfp8GHeC8y5111kIn8F444gCJC2gWnqdS2qovJJdClsuVE6tjm:iVZ4xIA0zkmgWn2vJLsrDUGm
TLSH	T1AB34100667024FB2E8DBC9B3C5D2D3C81729E7676A060A0F255D9A5C7E83FBB5F41248

Key	Value
FileName	./usr/lib/coq/contrib.cmxa
FileSize	195145
MD5	85AEAF8AC1166461B72C69AFC7A97FD3
SHA-1	17E45BC1608EB1B39394606F4E97F07809EC4580
SHA-256	6981F1E25D43B0CE5F5C3E28C2E7F4CD9FC2328E095EB82D12DBB91BEF1A01F5
SSDEEP	1536:XCKDPm1KoeatA7KAKBBahP4ZCbHE0JRloOzx1pNg++/i3wv39kS73QoByjSCedB0:XxPzjbkU
TLSH	T1AF144C92F304BB2BE9438572FB46640525E40CF389AFCC7777646AE88D09DD70A8B716

Key	Value
FileName	./usr/lib/coq/tactics.cmxa
FileSize	51582
MD5	88F3DD6CD2780BCA6F09D42C81A23D3E
SHA-1	1866E8DC1D90F673556826D412C6C6A3D2ABA2FE
SHA-256	450AB85491ECA584A809FCE622C320E2CB781F72F14842C76805EE1D2D6F2D8B
SSDEEP	768:LaTNkLlKmlY1pF/paendHPu+aroZjUI91UE6R/8YyyHt2p5GApQvhJABR0YZE:orFIAjn82eHgPpwz9
TLSH	T13C333AA1F204BB6BE44385B2FF55640629D80CF38A9BCC77B7A45BD88E05DD3068B716

Key	Value
FileName	./usr/bin/coqmktop
FileSize	341984
MD5	7D449F610CD6F22F54052121E0B2FC38
SHA-1	1871863CD208443D013B5C4FD6302C5D9B7C855F
SHA-256	BE4289EF7542B30581568F212ECCE9897D555355CFD81128158D3401A896B820
SSDEEP	6144:yw0KGh1jBSpsKSbZiR8ILU4v0LCzGchs/pS160uAmKB:UZzMWsNMLCzGchwpSQ0zmK
TLSH	T12D74E457B4C20DFDC5AAC5358BDE523279B2B4B04332B7133A9056352E1B9A89F7E780

Key	Value
FileName	./usr/share/man/man1/coq_makefile.1.gz
FileSize	320
MD5	0FF314917B82E3374591B9F7AFDA845D
SHA-1	1CCE9806175AD5889D52D5652C23916728CA9812
SHA-256	FABA56703CD699F452A3C778EC883B9F9C59EE7BDFA2AEA6712DB30C5831A969
SSDEEP	6:XNV6iJblIm9oH7Pw9aAerHZM9z83aO00B4Su19QhGWEKyLFUAQruoG/FPPI:X/Im9c7PVAuowKO0sCO5EDFUAGnG/C
TLSH	T119E07D1D65555164EF4E6131AF5A2801B1204B920A64317F819978817716C481D13B8F

Key	Value
FileName	./usr/lib/coq/lib.cma
FileSize	126874
MD5	D5CE3EE8F567B431861129F4B1B371D6
SHA-1	277FF9E3A4567B7B81559DF3B3D90AF950C49AFE
SHA-256	171990043BC18D34CCC7FD7D222F4AC5D2D394347E892269BEA0D24B1EE70029
SSDEEP	1536:Q68H0s0PNy8Sf4BUkZnmjtLClCy1FoHSU2tWCGqjf:AePNtcXfNClCWFoHSU6GKf
TLSH	T1CCC3EE06BB018E52C5EA4AB6CAD3C7991335E6669F03070F315C975C3E83F6F6A85398

Key	Value
FileName	./usr/bin/gallina
FileSize	80231
MD5	79A5D85E26756407BC3054AE2CF7779F
SHA-1	2B1D7309EEE165713B33C35004E64410787E808B
SHA-256	41E6FF409DA385B536BD22ED38AA5893C8401EFECC054EAF0439D189F5859133
SSDEEP	1536:8i3jGcx8kJjzBnZgH0mpzTmGAEMDLdbzzL:8i3jfx8p0uDOLdjL
TLSH	T1AC73CC0ABB048A91C2F54AB599CBC3561365FE65AF03071F318CB75C3DB3B6E6685388

Key	Value
FileName	./usr/lib/coq/proofs.cmxa
FileSize	21623
MD5	A3C85D430E2BF6AF506585C48CD6BF14
SHA-1	2B21A82681E714F0EEEE90D598D15B02836E0475
SHA-256	675D60D265B94531EE3E15F7C56E63A5895B2FA12744CC9A2CB169F586A8F7A0
SSDEEP	384:Dk0GPZXW0CL3aIg064a6M+EUB7uaiiUOza8cXel:Dk08ZXraKIlQ6XE6Piiv+8cXel
TLSH	T1B3A20891B210B327E44386B1E74664113AE80CF3C59BCC377BB8AAE88D15DD71B4B716