| Key | Value |
|---|---|
| FileSize | 54258222 |
| MD5 | 20D344EA0AE1883850EC19DB809571E1 |
| 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.3.pl4+dfsg-1 |
| SHA-1 | 09118FDC89C6DFC02CFCF2CEC2F167FB17721679 |
| SHA-256 | 942B75BFB144649DDF20BC817CA7900CA352526FC90371D91A4F9E2FD18C5029 |
| hashlookup:children-total | 1212 |
| hashlookup:trust | 50 |
The searched file hash includes 1212 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.Numbers.Integer.NatPairs.ZNatPairs.html |
| FileSize | 68721 |
| MD5 | B97116128904EE7EF2A61D1C0F352761 |
| SHA-1 | 002B624E05B09EC025E39DDB2B1F24C79CD27EDA |
| SHA-256 | C7B43EE71BE74574D2738C777149C2C7D3553EBC2D2C5DB3E2B9A99530F8E762 |
| SSDEEP | 768:HGBj+y1Kuu15KDXmWdWdWy7W9WyxMWyRYaN9xXScQPw591fadayWya:Qiy1xu157Xt |
| TLSH | T16A6306E44292892BC5328BF64ABA6F34B1E09E0DD6444C10F7FD86F6E2CDF447092697 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.setoid_ring.Ring_polynom.html |
| FileSize | 359642 |
| MD5 | D05D4E6BE57C8C926A355BB7CDD8F65F |
| SHA-1 | 009CBEC6BAAF3C8920CB74F16E9C09125944719C |
| SHA-256 | C08A2A9471D3E6FFA8AFE4559D5DF5C8E64700A47899E2C150C1B46574250083 |
| SSDEEP | 1536:64N8YDULb9SkqS1SsST4k+8vgGk+8vxs6VIu1sqJEEIDymKHYblHTvnqUoS/+TZT:g5b |
| TLSH | T1637406D042A2A83F45338AD616FDAF6DF4E1894ED2498C00F2FD52F697DDE403146AA7 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.Numbers.NatInt.NZBase.html |
| FileSize | 11690 |
| MD5 | F2414A360646DCF3D956282704C59DC7 |
| SHA-1 | 00EA35F4BF7217ADFCE116D501B120E56B733CD0 |
| SHA-256 | F47FFF183E11BE04308CC8575E3B30D6A759620535EE5A729F10888BFC89864A |
| SSDEEP | 192:HjpEkYHOXWPvJY+i4+jeDX8aZaCZBYqMYAWYZNivYECqS:HVEnvj+jbakCsYAF1F |
| TLSH | T1A132F8D042A2D93B457389E616BE9F64B4E08E49D2054D00F2ED56F7F7DDE803183AA7 |
| 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/lib/coq/theories/Arith/Bool_nat.vo |
| FileSize | 8382 |
| MD5 | 4D6464AA1299A8DDFF52F4F2B5364BFB |
| SHA-1 | 0133F26872356F221758D72FE3D7AA45D370978D |
| SHA-256 | 4F84D18DB27979FFAD0F613E2AEDA8DADA331AB8522A59874EC5EF5FA6421DC6 |
| SSDEEP | 192:AVYBn36udV2BjxKcBELezJaVsk69epSnk/qIslcW:OqF2BjRBB5gqIqcW |
| TLSH | T17802422E916104D5DAFE5AFFB9A9D2B7C64401584971F3FA8A050247BFCFA3603D90AC |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/index_projection_M.html |
| FileSize | 50915 |
| MD5 | 0966D10D08B3F2DB191E81E5F01E0B73 |
| SHA-1 | 013968B38D3B580E1E7F936A8E07E4A9C0F671DA |
| SHA-256 | CE3C01427713A4C3A7BA8091CBC944ED67CFC1F623CA4830DE2ACEC4315A7153 |
| SSDEEP | 192:HjpWEMfr3hV6RykJJLX8uVLj3HViEgWQJPKh2JV7aQs6reej99jWn4PPPPPPPPPK:HVOgnEjMWgnEjMt |
| TLSH | T15E33604215D6256E46593A3E09B47CA862F34BF24B607C04FE5FFC7FCAA6794121E283 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/index_abbreviation_M.html |
| FileSize | 74623 |
| MD5 | 71FD2DB50A44BDEC9C849F9BBFAB06A1 |
| SHA-1 | 01490E4E995852B5A3D6C1EC0BB330052E7E7F02 |
| SHA-256 | 6A1352D2A603DBEB274D617CC3346D9AE06CF52A7629D52C789BFF9B280D5A5B |
| SSDEEP | 384:HVOgnEjMeXhzXhzXhTXhJXhTNhzNhzNhzNhzNhzNhzXhzNhzXhzNhzXhzNhzXhVI:H2jDjw |
| TLSH | T1D773050210D2656E47A93A3E15B07D6976F716F35A603C40EF1FBD7FC9A2B582368283 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Lists/List.vo |
| FileSize | 265486 |
| MD5 | 4DC6698FB8E7E5AAE51F4723F484BA5F |
| SHA-1 | 018FC60199BB4A6BA0CAA4AEE0EA5D022803AA4A |
| SHA-256 | 675C63509BB37A32DB7635A2180BDF493202D0187EDF93708730A45247A2DEE3 |
| SSDEEP | 6144:0YfZVj5N41ZVZZ5sMDaibwsQwyDGdfx7jPD1gkh:7fZB5N41xEMOibQpGdfx7jPBgkh |
| TLSH | T116446D35A3CD9C1ACDEE1CFEE7A8E257D612088D633372D1880C531ADFC5662C659A87 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleSqrt.vo |
| FileSize | 1431532 |
| MD5 | 6C338B5370B0CE035AA93F86EF40FA50 |
| SHA-1 | 01B0EEA631D5AD670F29ABE2E146B07326B7F8EA |
| SHA-256 | AA9AED590A0FF156AB3CDE0F541AFE5B5754AFFA381B92D4463033161EBAA613 |
| SSDEEP | 24576:hdBUis0O1FnhEwXJ17s/SgXXqG/vSbg9PQb36Dj/CEFh78ouJQOU:8aq0L/R |
| TLSH | T19865197F860C8C82EA56A4FEF31EE30B946276855079047A898837479FE341FD1ED16B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/Cos_plus.vo |
| FileSize | 316001 |
| MD5 | AFEFBDB97D22CAA0BFD4EC381CA62E0B |
| SHA-1 | 01B7FA52772EEE17BDBFF2340E50D10DC67AD1F3 |
| SHA-256 | 6DADCA7F8B5A16FC5BE3E3C336118DB5C7FFE1BA343A6A5A65F6671EBD6635A1 |
| SSDEEP | 6144:tnweyclQPwp6SNuYB1YgMOIuzpaw1Qajzq/t8BJbifZ0g:tweyczp6gumYgMOIuzpalaXGt8zE9 |
| TLSH | T132643BB19754ACE10AFDF9DCF19CD06225038C8D40BA85AF9DE1816DBDC92BE081ED5E |