Result for AB73C59E5E9BA086F669B75A25E32493BD731110

Query result

Key Value
FileSize6601416
MD55214F29C0028381E782A522D0848D5C3
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 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.
PackageMaintainerUbuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageNamecoq
PackageSectionmath
PackageVersion8.0pl3-2ubuntu1
SHA-1AB73C59E5E9BA086F669B75A25E32493BD731110
SHA-25695F6961F1B74F98909847966E1FC5A1D207B43934D1C71948F35877862E450C4
hashlookup:children-total38
hashlookup:trust50

Network graph view

Children (Total: 38)

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

Key Value
FileName./usr/share/doc/coqide/changelog.Debian.gz
FileSize3334
MD5C804294A4C7CBDDE8E3723EA8EC00D49
SHA-106E612E6FB9494A6209B88E7F9D2438106640A37
SHA-2564DBF08379C6EDCBF67E1569B4CD43DE871E376933DD95454EDA5881E97DD664E
SSDEEP96:GmmhzVTkTBZVDzuKIhYngFy2RM925uLcgvMJq6uX:6TABPzuKIjFZ29MuItg1X
TLSHT1A8614EF0FBC75AE06CC01CF84997338856457DE54D11C8EBAD598AFA9B71B014187A23
Key Value
FileName./usr/bin/coqc
FileSize364594
MD53BA5F71460B0A52CECF7F26EFACBF184
SHA-11FEA0A324491E71BAF7F6B38622B4370422EFE54
SHA-256FD9F2AD86867BF14D2CBE97DAD17CE852231F4357E1021E424E16E32CB389459
SSDEEP6144:uSUB3IspIPVP2QPhnjKAbLhfPDwGIznIibQrUjCtI3jfx8p0uQcQ:nUB3IspsP2QPtjKSLhMG28rUjCtI3jfb
TLSHT10274E80772C44DEFC8E58D748ACB822512B9F0A4BF13570B3948775C2EE6BDC6A1A785
Key Value
FileName./usr/share/man/man1/coq-interface.1.gz
FileSize372
MD5F9FBB65C0671B10479671956905FBCE9
SHA-122310A887BBD96A2649CA4DB0CCFEE35312E6EE7
SHA-2564091305AC81A14BB4916CAD7EA79711D821AF3C332082B4B5736726AB846E2A1
SSDEEP6:X6AnZd0aA1KS2On/KJnf3ROC0GawHOaDtOBEE06FSDnwaVx3pn8/rOl:X6AZdA2Q/23InGay3Bv37npn8/rK
TLSHT13CE0C0442F574D48155723C309534D6E815B2E0461FD9409AF4E47E7A69FCDF34B10B9
Key Value
FileName./usr/bin/coqwc
FileSize270719
MD5520FE85053A3DAA84188A845FC461D12
SHA-12E0BB912C94563CE698841E0C305182EADE485B9
SHA-2567FB2C737804B032C8E3C5B47BAB4B0C58EBD463E4BE39F9EFBDDFC16212EBBA9
SSDEEP6144:vUpjY59CzM4/4LN/dlpfmF3BIpoFMIuU7IHx3jfx8p0uC2:vUpjY59CzbwLN/Dpfw8IuU7IHx3jfx8f
TLSHT1EF44F807B28C8DAFC8E58D704EDB836502F6F5607F22170B2548B7582DF6B9C6E1A785
Key Value
FileName./usr/bin/coq-interface.opt
FileSize6191680
MD5677356DE7A541710C0E668BBAEDEDB24
SHA-13C209B6BA69CA2BC2E13A383984190156AE9D336
SHA-256D41B762723D96F1440CCED7598F4CAC1B459C5EB42E62BFE13BBD49D878F68CB
SSDEEP49152:k8OpNTrkUaj6pUFcaW1s9o/mY+WqVzFz4RLD8NPGWYRiOqC:kRKe1a4yJ/OWw
TLSHT16956A497A9C159BAC1BED939C6E916337EF238641771B3122AD017252F13CB80B7DB81
Key Value
FileName./usr/share/man/man1/coqdep.1.gz
FileSize1431
MD5A784E2DE75924D2DCE8EFE4A71F23DF9
SHA-13FA4087CC01B3251ED9466B43E68CC35574F51E8
SHA-2566061B3188C3EA2DDD732E388897EEAFC0B5B98AA663B4C06842A46150EAC4D5F
SSDEEP24:X3HePeVOrFQDYnvwszNfmKBY9q5aY62ABuMIW6cDVj/+ruMP6XJ4/UGq0viKMnW:X3ePeoiEnvNM9qE+MIlcxj/+r9Prs1Kj
TLSHT1C421E921BD365729C52B11B85E74BB2EE8A295F4420D941A99F8099FC8A820C91AD12B
Key Value
FileName./usr/share/man/man1/coqmktop.1.gz
FileSize453
MD5067143954A31772685FC355DAD624807
SHA-14576F578255CCBD28D6FF9444A221D11FEF96166
SHA-2569ECE6D46F76886ADA034B4894FEED1F29566AE31A21D625D7A8EFC9D249EC912
SSDEEP6:X6uaPAlU39+10kq82qwkZvikkIfmElxH+Yjc1X2dU//VeEKQHzbB10qs21sgll:X6+ly9+Ga2qwkuMmEnHzcp2zEK8B10Y
TLSHT175F023D4B2BC8A3003396D4CDE275385E1FB5EBF8D8ED7103618A24B014851CE860BC0
Key Value
FileName./usr/bin/coqdoc
FileSize541454
MD530133D4127FD57A4F7E10504D96A678C
SHA-147A129FB8735BFAD722222719864B9CF6818FDD5
SHA-256E1531760784D5BC1C5CFD5F1A55C5590A9C41646F8BC2696FF29A6E12A78D4AB
SSDEEP12288:yUBj/qyH1lp/bmVYZ7hUjGcy3jfx8pvQ8xPKb:yUBv/SVYzUjWb
TLSHT101B4A403724289ABEBE18971ADC7425D03E7FC617F026B0B2D08765C2DB27BD6AC5785
Key Value
FileName./etc/emacs/site-start.d/50coq.el
FileSize851
MD5FCB3EC2B3BF9C9179E9EBACF51758C43
SHA-14A8AEA0DB3B4015EB0293AFEB6A4D18D332ED548
SHA-25635D6C631AD317F1F0CE5735393D6C5180E4A96A8C26AB0BBDF54EA86D026E720
SSDEEP12:zIhzObelZsjFTPksh8jHpFD/FWkiFgqLqE/GPXmiduu7rzLaa+si:zwgenst5h8rLDtDWbLHOP1h7fYH
TLSHT108011EF39BC8562E2F0331371B454885938EE9D8A050A8843A2D434C23424E463E3E9B
Key Value
FileName./usr/share/man/man1/coqtop.opt.1.gz
FileSize292
MD5508CECAE03BF6B9D970751C2842A59B0
SHA-14F2E05A4C9AAF617C83CDDC9CD2C2B2B2DF3A244
SHA-25696DFF36470122F41F282BC8D63B9A89F2A394E22441787DFE67D18B630837868
SSDEEP6:X6rRgiQByuq5lluZRGgl7aiKuF9zy13P0b7C8jpAv3sqs1/U8n:X6rLQBslmRT7aiKuFtyx2Gn3sqs1bn
TLSHT13EE0E72759652D9443D2785F32D2F1D4111323C9F548D5565045780E5B04C47588F044