| Key | Value |
|---|---|
| FileSize | 59085596 |
| MD5 | 20D8D7326261F8022D8711B8D9BF6462 |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coq |
| PackageSection | math |
| PackageVersion | 8.9.1-1 |
| SHA-1 | 58BFF8D5D184D857A63C989983EEF8776838D182 |
| SHA-256 | B1F1FB841AEB6EA7FEFC7E34B0A127866328D1D10046C03B381774828FEA156A |
| hashlookup:children-total | 44 |
| hashlookup:trust | 50 |
The searched file hash includes 44 children files known and seen by metalookup. A sample is included below:
| 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/coqworkmgr |
| FileSize | 1784848 |
| MD5 | 6A080F2B0AA0BF8A1679DF536F4DF4F8 |
| SHA-1 | 0B3C99D2FBCAC973BA66B89BE5F7026C9330D1A7 |
| SHA-256 | 85F8475AE5A29787410E446861BCD64D08379D7F81CED1283CC11D58C168185F |
| SSDEEP | 49152:LRZiHPqRdJfTquviRPdLqnKkJhhbvM+rOrtxhs5h0JREyAlJjz0H/IndPpq4IAIT:LuHunpIb6llRK |
| TLSH | T11E85194BFD9A8C7DC2FDC03485AA57BC7D70705A8A913B061D80A5242F436AE2F6D7E4 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqtop.byte |
| FileSize | 38667104 |
| MD5 | 5C222F39EF6544D886C02D577B265F6A |
| SHA-1 | 0D95821A3F7CCDDF251EB467E18F6C0D3BA49165 |
| SHA-256 | 8E1E570BDFCBAEB2F52AF057AA4234DC0612CF963A54BDC2191BDA481EBC1117 |
| SSDEEP | 393216:v9WX82V/1r2f5OWUAbrZfzTuuPDPrfi8cCrEZ:v9WM2V/1r2f2uPzrfi8cCm |
| TLSH | T19287084DBB68E471C88819BECCE5CE8B83109D7E66136EAB105C175594CB35F6F08B8B |
| Key | Value |
|---|---|
| FileName | ./usr/share/coq/coqvars.mk |
| FileSize | 281 |
| MD5 | 1D8470704D115D11401129A1B29CFE9C |
| SHA-1 | 0E7EF1DF7B44522386DF4DAC9938EE5E478338E9 |
| SHA-256 | 8F76E0C802D593B5CB7FDF1387CE40BE358F39EFB152100D3343E8A9AD851FB6 |
| SSDEEP | 6:S+biAb6A0FflbQmncJ/szEAhC2Ib8hnVQJ9WrdgUCFqJrwedDW6jI:1bixA0/bQme2I8neJ0JgUCFqBrjI |
| TLSH | T1C9D0C2326E4C2A0DC9A40A82374A656A5211A5BA8A0534358B9C6B56225A09AA31B72F |
| 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/bin/coqproofworker.byte |
| FileSize | 29019901 |
| MD5 | F7A8E3067C5C2A3706B3A0FA62C09039 |
| SHA-1 | 27D17FEFA252AFA66DBB596463484CD3658A8BC2 |
| SHA-256 | 70BF686F0F71B5F5BEF1A849F9A1051ADDCFB443C1D28875DF9C15403B2D6AFF |
| SSDEEP | 196608:/IFMx6X6DwjsLV/1r2KEOWUAbrQIK3q5e1Nghu1rRz:au6XNCV/1r2KEOWUAbrQ/34e1Th |
| TLSH | T12B57074DBB28E571C88819BDCCE5DE8B82209D7E66535DBB104C075998CB35F6F08B8B |
| 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 | 1587600 |
| MD5 | 60DBC185915C1952608041B444CDF8EC |
| SHA-1 | 38A2EDAB268D973070F3B15B2D272BCE30E2972F |
| SHA-256 | 8887DAFB6B0101C39047FFBEDF14C2494471E84AED1C67A61AF4C843AE736D53 |
| SSDEEP | 24576:oVbtsaZDsOf3byWxWvwUHPlpv6fT+4+3JVl78AuAa:IbtsaZNuS2wUHPlpCfTb+3pB |
| TLSH | T12075286FAA968E7CC37DC234C1855E357A713D148AD1372A16B0B9601FB346A0F6EBD0 |