| Key | Value |
|---|---|
| FileSize | 18108438 |
| MD5 | 4CE1C7DF48D2D7F25D2D1CD698023E6B |
| 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-6 |
| SHA-1 | EEBAD0194D02FBD87C9F8D6011737151E620F112 |
| SHA-256 | F671C8C02FD5F7A48575D5D9552E4F956620BFB235D90E4B3BED86F6B53E543F |
| 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/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/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 |