| Key | Value |
|---|---|
| FileSize | 54375698 |
| MD5 | 38CF3EC977D6140F0EA61DDA2C8C3261 |
| 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-2 |
| SHA-1 | 97D761D5DB9CB4A0D8ADAC5C300A232E1F21B4E4 |
| SHA-256 | 6900456A9D013F7209B931BB8A99C83BA671E2B1157EAE9CAF320EE4387462F2 |
| 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/lib/coq/plugins/micromega/OrderedRing.vo |
| FileSize | 163165 |
| MD5 | 1263707B380AD64C7BA8ACCE345A1AA5 |
| SHA-1 | 00117B83994FA678019B34728BDC3513EB20DC70 |
| SHA-256 | 8A33897785CB669659347B0DD52CC3E6C5D02581ABD2477FCFEAFCB4C4428E72 |
| SSDEEP | 3072:ANEk4FtOHqgp+K361wPu8uhIHeyWO4kkHGud6r4rhK81:Amf8+Kq1wJuhINW5kQ6r4Nn |
| TLSH | T182F3D536960C4C44CEEA1CFEE729F397E5500E44A2B253618E4D2343AFD6A77D0197AB |
| 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/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/share/doc/coq-theories/html/Coq.Classes.RelationClasses.html |
| FileSize | 84852 |
| MD5 | 22582A20C11C8D53E918DE9C0467BE8F |
| SHA-1 | 01F439D0F70E2DC919C63727011BE3F72B2FB8AA |
| SHA-256 | EF38A3D05DF52EC72F7328DC3BD07F1D121CCCFC48DB27BA94F1809DA84E367F |
| SSDEEP | 1536:6m1srZenPGGRqnzlfltPeC/3p56WBX4rCnzxoxYVKQURnH6BspxqxUSxdA:UGRO4kxoxPgspxqx9xdA |
| TLSH | T17B83E3D082A2983B44338AD747B95F25B0F1CE49D6890C04F2FD16F6B6DCDC43596AAB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/Natural/SpecViaZ/NSigNAxioms.vo |
| FileSize | 168523 |
| MD5 | 37D515596AC9ED2B348F1F9E054E6296 |
| SHA-1 | 020EDA106DB749E0E93EC4E65CF2A35B07CA9CDB |
| SHA-256 | 388389B699E76280B97DEACBBD7662DF5744C5BCD71F19057E1195EFEE4CCB7E |
| SSDEEP | 3072:ARIAxyG2UlAJXc5bk5VRygF/XATEl/wQre8LFXMN6xpbTojXiS6v7sck2m/jcIV:SIfGvAMbkfRygygR68LF1xpbTdS6v7sF |
| TLSH | T147F3E868D62C1DBBD8FE68FCF1A1B147D0480D8D5176F2E6550482FBDBD322A29A8F05 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.Classes.Morphisms_Prop.html |
| FileSize | 15547 |
| MD5 | AC5C722185D8F24261A912E8EF64D4FE |
| SHA-1 | 0216ADDBE313EC6990ED67C18B414216AB695B8F |
| SHA-256 | 9D9BE75C7BF7A257FAD36537FF571AE6D40675366472376369E698AF40D8B6E2 |
| SSDEEP | 384:HVEvMvJpncQnnjAQ8hnj8Q8FQ5Q87Or9B5OO39t5G:HGvMvJpncQnnjAQ8hnj8Q8F6Q87Or9BI |
| TLSH | T1BB625DD09292543F89738BE246B92F35B0E1CD86E2454C00F7FD1AFAA6CDE45318A977 |