| Key | Value |
|---|---|
| FileSize | 18107490 |
| MD5 | FFEF7B24780701042607F1FD66B44697 |
| PackageDescription | proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coq-theories |
| PackageSection | math |
| PackageVersion | 8.2.pl1+dfsg-2 |
| SHA-1 | 484CD9786B14EE2BB3A943A0B1F35516421F36B5 |
| SHA-256 | A8D0FA2227BCCC44B94FF5E9ABB66C36D9321FD18914158C4B4D6C8AA10F2382 |
| hashlookup:children-total | 1016 |
| hashlookup:trust | 50 |
The searched file hash includes 1016 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/index_variable_A.html |
| FileSize | 38446 |
| MD5 | A221D4B071DF9B290FFF0379D445B825 |
| SHA-1 | 00040160351FCF18DC59F3C87D7DE07C5C17BA87 |
| SHA-256 | C84E4AD62EC5781CA63909583E8E143191B64CFCD5A34D53AED2AA752A2C50BD |
| SSDEEP | 192:HjpWEMff3hK61yFJLB8X6VnVoEzWRJKRhQJV74QsF2/fN9A2ZEMff3hK61yFJLBv:HVK2vaew/g2n2vaeR |
| TLSH | T1B3034A4614C2646E4259762F4AB47CA922F30BF54B203C14FF9FBD7FCAA27A5124D293 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/Rseries.vo |
| FileSize | 24668 |
| MD5 | C71A5A78AD0F751C4E389B8BF1A4201C |
| SHA-1 | 000F34FCDBA58DAF93CCDDC96336DEDEDDE6145C |
| SHA-256 | ED9E71325EAC7AFDB97296215B92FFD38511B44DBE154B3CFC0B0FB66E30BB10 |
| SSDEEP | 384:vjpN0gH/tFV3591rZZIFTSxdRx2rdzOY/K0xpdoGgi+tEUx77CLDEHOth9pCfxI:L9591tSSDR6uYTX+95MDmfxI |
| TLSH | T163B2094AD52C2CFEC5FE9FF4FA7492869142404C9173A7DA9E04C2BCADCE2AF05B9145 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/QArith/QArith.vo |
| FileSize | 5200 |
| MD5 | 53017E9F2DFDCF77AC5BCE85A940901C |
| SHA-1 | 005A6161E0B8FD3459D6BA1E4DC702896E2777FC |
| SHA-256 | E5C1908B1F66ADCC705F6BF553BEE1E7368AE1663D912404C4EC950B71A5197E |
| SSDEEP | 96:cxPdCeC6jPTkYZnu3g+a36SjieJWHt975UHb0Gqko4uOKoQLeU2:crCeC6DBZnufAHjVWHt93GHEoQLd2 |
| TLSH | T185B1000BD5385DFD684EDC50BD3CA5C4C296844892A36B78BA58C56DEDEF9BF03B2020 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.Reals.Rcomplete.html |
| FileSize | 2464 |
| MD5 | 0B503AE53317538F8CB0F702E7DE6584 |
| SHA-1 | 01B619540C36BB1313C3F6757D3FDC2281A6EB3A |
| SHA-256 | 814CB0DB7A5036F514174D00212C292FA3CBC7031A07A1B4A5D003AD8DD29382 |
| SSDEEP | 48:dmIDEqJjpE5bUbqKG/iNGfm5GYGT55bUbNKLbTPJdRfVPefO9aPe4f:9bJjpE5YWKG/iNGOGYGt5YRgbjJdR9PO |
| TLSH | T150511BA05292D92F85B389D716E95F39F4E0C60ED6890C40F2ED56F7A3EDE8030156E7 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/index_inductive_O.html |
| FileSize | 16795 |
| MD5 | B6FCCF56DFF9B0DCCFE32D801CCA20EF |
| SHA-1 | 01E109E145BC1DDE39E05D0C3F424FE44A69225B |
| SHA-256 | B8F1F736A1C0A93D8E0FCE3C67D6BB53717415D4321B9D77241D657FEF666DF8 |
| SSDEEP | 192:HjpWEMff3hK61yFJLB8X6VnVoEzWRJKRhQJV74QsFBbn9p:HVK2vaen |
| TLSH | T1BE72D94214C6646E42597A2F5AB47CA922F30BB54B243C44EF9FFD7FCBA2791120D293 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.Logic.ClassicalFacts.html |
| FileSize | 58292 |
| MD5 | 4C5DFDD132CB60EFF826D7C3851C9B97 |
| SHA-1 | 022953D2E404F516FFAAEA3CC339B52713AB2F6F |
| SHA-256 | 2324A44833ABA61D5347D632D989EAAC9974133765C79F55ABEF0F06A3FE6455 |
| SSDEEP | 1536:y5GH69FwTm1BENMW6pcaaU4WMnG7VCW4LA4/MyOM0mPUE/esZj0PeChFc:yZ7+ |
| TLSH | T12343EAD081A2E87B447385D716FA9F76B4F0895DD6490C40B6FD47FAA2DDCC03442AAB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/NatInt/NZAdd.vo |
| FileSize | 21117 |
| MD5 | 3055240AE6C9FF7BE54C5132D209F0D8 |
| SHA-1 | 02D76A696CADB0F2A3A0508D8A94D08045A5D046 |
| SHA-256 | 9F9CD35A41BC464592974F37B55880258CAB5E0510C9B2486B99D921671FD6EE |
| SSDEEP | 384:R61D84TP/ghpMVEdO1LPFepqEPtzJ8u2kLahFP8VABg0fy2UQWD:qD84DVFPaxJJqFPiABg0K4WD |
| TLSH | T173922B8ED33A4862DEFE0672B5B9B197542C4488C1B0D59B851533B8FFC8B3D4B9066E |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.Numbers.Natural.Peano.NPeano.html |
| FileSize | 35039 |
| MD5 | BA04AD4E407B7FFDC2BB920EC0F57F3A |
| SHA-1 | 031C5C2FF2D0B9CB413089AA3D41168CC2FDB806 |
| SHA-256 | 1BA711A139F61210002887A1A5831CE72066EE27FECD0AD6FF85CDF1BA95FE1A |
| SSDEEP | 192:HjpEafYJ1AieQV6Ei7pVz95iuVgVgV4VjV5Y9VBVjVT9VLVjVk9V1VjVjVY9VpVK:HVE7oXw |
| TLSH | T129F22BE086A2DD2B417287E606BDEF64B5F09E49D2450C10F2ED96F7A2DDE9030C17A7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Logic/ClassicalChoice.vo |
| FileSize | 4492 |
| MD5 | B735E7538C76808DF3730641B4D33876 |
| SHA-1 | 0336DA56F1F13398315F21DFADE0B91081404FE2 |
| SHA-256 | 208754F2B7E8DFADF7012E85F0F93A74AAD9D74DCFBE0E4945A34BCA30E25363 |
| SSDEEP | 96:/C2efpIS4TAHoZavXwo54MLf8L966dg0pjieI6dsgYD6BmWqI:KpSDejvXworULwUzpj9lBmFI |
| TLSH | T1CD91614FD43148EE8CEE98B1F93422D2D2A9458D45196B8D5502C13DBDEDAAF43BE248 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/index_projection_E.html |
| FileSize | 18321 |
| MD5 | AF082685E6E4C2AABCC49BE7CA52B0B7 |
| SHA-1 | 039F67773D42B418DCBA137906D809B82AF03326 |
| SHA-256 | 0C9C364E6F80DA863FE735AB338E7FBFDCD646A07DDC0D0E82C048F9E8BC7E33 |
| SSDEEP | 192:HjpWEMff3hK61yFJLB8X6VnVoEzWRJKRhQJV74QsF3vghMxnJp/hJpMMJi:HVK2vaemhgfqH |
| TLSH | T1D082334214C6646F42597A2F5AB47CA922F30BB54B243C04EF9FFD7FCAA2794124D293 |