| Key | Value |
|---|---|
| FileSize | 63336728 |
| MD5 | 83D6589E1C964FB8AC4D114C57FD37CE |
| 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. . The proofgeneral package allows proofs to be edited using Emacs and XEmacs. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | coq |
| PackageSection | math |
| PackageVersion | 8.9.0-1+b2 |
| SHA-1 | 360468589E7867B119232919D41DE334B0C3B39D |
| SHA-256 | DEBC3A13D033070253582F96A3456C5523AD00C6411A60D64E96EFF55A063562 |
| hashlookup:children-total | 47 |
| hashlookup:trust | 50 |
The searched file hash includes 47 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/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/coqqueryworker.opt |
| FileSize | 22287536 |
| MD5 | 783927B97A15AC21BCF7F9AE3509C2CA |
| SHA-1 | 101CC89AFD97727489033FF41916E6BCCF6B6DA6 |
| SHA-256 | 359194BCC0A41E7251DCA95CB5ACC0C072D00C13E58B0C9A9F1F6DA69ADF8D30 |
| SSDEEP | 98304:EHxp3cFCaJV7mH+fhp/zeBcNwo2LrdWQUgWMtMMtuthukqTRkYFQ8ulMshx0c7jF:ErcCG1cIjreBcNSgMs7ukqIxljI |
| TLSH | T1C02708BFE94DF96CDD9886718BA82BE33339E54E2591C313699132507EC32D90E364D2 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqdep |
| FileSize | 4495008 |
| MD5 | 8E47F5ED92D8BDE3895D669BD2ADFF51 |
| SHA-1 | 1488D7F3057F94EB8F8B82602740DC259536C311 |
| SHA-256 | 180AD5391A52FF6F4EB302E5C7325F5ED00E0F206847CE8C94FCFB6EA776CE92 |
| SSDEEP | 98304:aR0fY91bo3LOYTQ+TJXu/QJPoarkyFIYZKvBoSoL3eVCDvXD3GyyxaaqG6VkaWFk:VpTjTVga9 |
| TLSH | T16D26526FFB5FF96DCEA891B205F65393B42DF81465A0C7631A0032247D8B0E50A7B9D8 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqchk |
| FileSize | 5499904 |
| MD5 | 1D093CE9457F8C88A1AE779E2C62E54C |
| SHA-1 | 158E8CFFC759868179DE81275D63311AC7A68DC2 |
| SHA-256 | 216E2DB965C57187FC6B990671F58E0D8639038393891C75AC897A9D595ECA7C |
| SSDEEP | 98304:kfIKbxGrxrk6JA/d3gbMdLnpcB2a4pVBZmBn2n8GTtBGYkMFhCbTmWBgLUU14Ccy:kHktA1wbS7pce |
| TLSH | T12846B7BFF65EF92DCEA8E57246E09363B41AF4056591C2932E813314788B4E40F3B9E5 |
| 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/share/man/man1/coqc.1.gz |
| FileSize | 543 |
| MD5 | 8B28B858F2B73937DC9C8E5E7EC065C8 |
| RDS:package_id | 182052 |
| SHA-1 | 2398BB2A5488D5E45FEF7013F1713FA321C7E92B |
| SHA-256 | CF37BCDF17C49831F7F23E90E5F1E5965DCC1766D6CBB8F5AD63779DA4019C0D |
| SSDEEP | 12:Xyl9LOLTzYXkjQviq3UrplJ7+cGybTUljbNbGWjxILYh:Xy2Lkjqq3Urpb+cnU/dx2a |
| TLSH | T193F096AC87F200F29A26105C418EADD20C242EC971ED82038880C815C24CCE88994154 |
| insert-timestamp | 1679424703.0865602 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tools/TimeFileMaker.py |
| FileSize | 11260 |
| MD5 | A9CBBA682050521812596711FBA3ED72 |
| SHA-1 | 286D00C9CDE933F3FB5486820914F71C39F44FF8 |
| SHA-256 | 0E387AAD130730B1854E949C0A726AE982B3B636662B9767E0D05CC5AB70BF5D |
| SSDEEP | 192:icm7HobQuaj0BjqIpR+qhszRMB/j5dAsAurYc/c/n6vvM07/kajILpsRXBkK:HmE8rjWzAqRDbwpwF |
| TLSH | T19D32853A641A291047D3A87B895DB1867304922723052874FFDDB6683F97D3943FAEF8 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqqueryworker.byte |
| FileSize | 29002741 |
| MD5 | 37DCE90EC29F2197BCFBEE2401491683 |
| SHA-1 | 2D0CA0430B292222153034888F776C0F6748E7A0 |
| SHA-256 | 8A2BD034B81C8DE02145F63FF69AE5A53A366EFB2E486F9FDDF57B011954E9E4 |
| SSDEEP | 196608:jC1WHI5HcDF0wUVW5bgOsUAbEJnn/C+glriPtG5CXphhU:j/IopUVW5bgOsUAbE5a1xiP7/u |
| TLSH | T17E57074DBB68E571C88819BDCCE5DE8B82109D7E66135DBB108C075998CB35F6F08B8B |