| Key | Value |
|---|---|
| FileSize | 50036884 |
| MD5 | EE6AB54FF3ACB3AC6C19EA8E42070E16 |
| 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 | 2531A9BFAD36EC06952FA55CA53467C485BEBE06 |
| SHA-256 | F0AB3FF9905D757EEFCB8B2B35988FFEFBE7BE1882D2F22F79B56D37625DB645 |
| hashlookup:children-total | 43 |
| hashlookup:trust | 50 |
The searched file hash includes 43 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/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/coqdoc |
| FileSize | 2608559 |
| MD5 | 5FBFF6A0BEB9BF924461DF2903B327B9 |
| SHA-1 | 295020346223CA6F4ED06A240FA14BBDCC48A9D6 |
| SHA-256 | 57D5D54064BF028D42FB1F31DC513500E57764C4A3839FC6D7693E1234D79ED5 |
| SSDEEP | 24576:5EQA5234pU/4llJegIXwNu1BpqiiW+I++0Ff359DkheHSbNJoMCfRk/L7bHNOGRk:5EQeQa/IgA/py+si3Nz7c |
| TLSH | T146C5F64CFA28E531C88919BDDCE5CE9B82144C7FA7176DFB00482615E4EB31E6F49A87 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqchk |
| FileSize | 7379211 |
| MD5 | 3BF0314B938B1F79769BBA0EA0BF15F7 |
| SHA-1 | 2F36FB3A83B92F1E499AF7C40BE53CC52CE81B12 |
| SHA-256 | 15305F4E56C6D339FF7D0BD6B11001D67FF88878D9A8CD2DFAEAAFE07CA51DB7 |
| SSDEEP | 49152:ChOp0CnG6te4XU9+wF6+AAYLnTV7WNrwiccEsdH0D2GHVi+sFosxbbIsIgtYz7RZ:Zh4eEQJthQ9FU |
| TLSH | T1B676F80DBA68F531C9891DBED8E6CE8B42109D7F66135DB7108C1B1694CB31E7F09A8B |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/changelog.gz |
| FileSize | 67724 |
| MD5 | 9A7637ED437F9697F0874B01A5D1D1F4 |
| SHA-1 | 373E1EC274922199C8A6DBF21FA5B1186E38FBAC |
| SHA-256 | 99FC6E4611636FFA9E5258C9676C6C6D2BC1E3559EF2DE3A0F4B0AC1B0AF36F3 |
| SSDEEP | 1536:ey0JqaP6GyCqTkecHUhmZHw7NbX0b51OGrWDCR3OaXt+GPodd:efkaPPyCX31OWaDu3OaX0dd |
| TLSH | T1DD6312FD50977DC56CE0F63D1882629667E23CD6646333EEA0FC037E655490982E8EE8 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqpp |
| FileSize | 2544697 |
| MD5 | 56E04163B3A12CA748893D51E6E550F8 |
| SHA-1 | 3957D71625B4430EB4DE67098A051339EB982260 |
| SHA-256 | 6A0740C0A3ED6A3C67FA3788380AA78B836296178CC532FC16B08A85D4421DF0 |
| SSDEEP | 49152:fayxtBxLyExQsdxeJMpi9yhW6zxXN53Nz7F:iCfFpFF |
| TLSH | T17AC5E54DEA28F531C88919BDDCE5CA9B81148C3F6753ADF70088171AE4DB31E2F59A87 |