Result for 7E13559B04CF7339E2DB588476B546E754B177D9

Search result
Graph view
Children (42)

Query result

Key Value
FileSize3754342
MD54D4259BC2D3070C8F877EDEA72D25447
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 package to be installed.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamecoq
PackageSectionmath
PackageVersion8.4pl4dfsg-1
SHA-17E13559B04CF7339E2DB588476B546E754B177D9
SHA-256F05FE5C8E619CBF0CF659578BDD227EC5ED6F52B7F390031A3FE5FC3DF8DA0F9
hashlookup:children-total42
hashlookup:trust50

Network graph view

Children (Total: 42)

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

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/bin/coq-tex
FileSize301392
MD58C0517CB7E0B25E9768A23B3D2642A69
SHA-1016C5AA4847DC7E33D04619FBEB92E2533B4A9B0
SHA-25627205D9165ECEB20509C4F4E26F33EB56EB7F3BDE17796E7718440A34E08577D
SSDEEP6144:vwyd2rmL3l8kVJNSZCF7AG0AS8IBkmNHxEzDMrPR:3wmL3XVpNOBVJ
TLSHT1B0543AD4F9468DB4E22B0A73456EE2BB56706186026BDF32B968F608FC737243F11359
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/share/doc/coq/README.Debian
FileSize765
MD546CFC23E949D8804D5BF066B264448B7
RDS:package_id182052
SHA-102CC6F38630424B025BD78BFCE1A21D68CB87434
SHA-256AD8C03A1BB73F99D02F6B49C755D098E65F6C40B461DAAD3E023BD0A7BAA8531
SSDEEP12:LoThhpYw24kFBwRFfPeTzHFtsSQMSDJ0SfMGof9dS/pokUzJw6F:LoTjpYwEFBwXPeThrSd0iC9OnQ
TLSHT118011079DD4D1A18A090E4D2376748EAD36C243D7381C0B2907D02283157FA042DF0E1
insert-timestamp1679424703.063793
sourceRDS.db
Key Value
FileName./usr/share/doc/coq/changelog.Debian.gz
FileSize745
MD524235921904B3EBC7EFDB121FC3D6D2E
SHA-121EF202A86AD95D62695A0C061B7B938D7761EE2
SHA-2560921A47E387BEB85A19879130D04668C94544543F3974028AAD989BBC24E3D37
SSDEEP12:XMHQJ0lEd5W+CYwq3cl8SLeBr7Fv55cjcPdxbGFe3yXhuPqrXJOBbPJwvg:XMHU0C3W+CYKgBfFx5cjcPdoFe3yXhc1
TLSHT1D301652E19900506C0CE621AED3EB0D1EB861E7140FA9931C0FC6129E9EAEA5229B50F
Key Value
FileName./usr/share/man/man1/coqc.1.gz
FileSize543
MD58B28B858F2B73937DC9C8E5E7EC065C8
RDS:package_id182052
SHA-12398BB2A5488D5E45FEF7013F1713FA321C7E92B
SHA-256CF37BCDF17C49831F7F23E90E5F1E5965DCC1766D6CBB8F5AD63779DA4019C0D
SSDEEP12:Xyl9LOLTzYXkjQviq3UrplJ7+cGybTUljbNbGWjxILYh:Xy2Lkjqq3Urpb+cnU/dx2a
TLSHT193F096AC87F200F29A26105C418EADD20C242EC971ED82038880C815C24CCE88994154
insert-timestamp1679424703.0865602
sourceRDS.db
Key Value
FileName./usr/share/coq/coqvars.mk
FileSize283
MD5BC20FD210B886E5DE0B3E1A9B188D2E9
SHA-139B6B4B4153EAAC7C0CBFBE02846515A1BCD6BD7
SHA-256474015D924E2D2723A9A2B739A6EC240AC5FF87CC480722367C0899E7461F1E6
SSDEEP6:S+biAb6A0F2mbbQmncJ6hYWEAhC2Ib8hnVQJ9WrdgUCFqJrwedDW6jI:1bixA00mbbQm82I8neJ0JgUCFqBrjI
TLSHT1A6D0CD321D88160DCAD40A45364A65275205F576450134354BDC6757125B09D530B71F
Key Value
FileName./usr/share/emacs/site-lisp/coq/coq-db.el
FileSize8673
MD566EE972D56F407B6D64D999EB0859E20
SHA-1420941DDC65719E1597E6264770CF1ED862BD348
SHA-2569753E905E7C527AAA527D8D130AFF8689568E086969669D335D1444F7D5FD125
SSDEEP192:s+Ltygw3H7WONhwC7GY14UKivhCxW1MtZDUt51k/HCXIRLxpm71MeCkUAQHTE:s+LXy/2C6GB0Wn1fXMkhf
TLSHT1F102B9566344ABB32B8302725A9BC090EF64E36E1372490631EED7741F415B983FB9AC
tar:gnamewheel
tar:unameroot
Key Value
FileName./usr/bin/coqchk.opt
FileSize1127368
MD57E99EEFECC63818E35C417A775FCA57F
SHA-142A069AC3332027916453D0AEAA0B50C5FE6A9A5
SHA-2565FF549126C71700B41E08ACE083DDB3A2AC146A9407A85C006C4FD0712F19C69
SSDEEP12288:OFd3l7BWuQrE4XLHs9fKH6lA0XxEpODVOOli0L0e9kqkRWZFj/AqcC6TIVBp:OFd3l7BWuQXHPS/XNDB/Yukq1Z+QQ6
TLSHT17B353A80F98B8D74D53E8F3452FF937B2B311A6118B74B3A7414F9143DA73A22B19998
Key Value
FileName./usr/lib/coq/states/initial.coq
FileSize337326
MD5EDBEB248EBB7D52FBDD015B54E307C42
SHA-14486559290BC5F6D0750C08E0985F013CE5786F8
SHA-25658548BCD71130F0D61309BBF1DA69FB22AD32363854E6731A4DA35698D5DD3D0
SSDEEP6144:igR+79nkZL6FmdnrzmoBp3xw09vPt3L0m//:A42FF09PFLT//
TLSHT1E874F73AE35C1C1AD9EE1CFEF7E9E39BDB18858A522262A3090D63035FC7756419704E





metalookup is a service from miwakeru.com