| Key | Value |
|---|---|
| FileSize | 52901370 |
| MD5 | B5BE291FCC2C99E8FB862E0867156CBB |
| 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.pl2+dfsg-1build1 |
| SHA-1 | D3F6FD3CC3D8A850F404B14B869D9C8EB7C5C7C3 |
| SHA-256 | 63ACDEA0BD681AF7FAE72F4BBE4D1DE1887AD9FA2B5027E07E462692885AB820 |
| 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/theories/Reals/SeqSeries.vo |
| FileSize | 44596 |
| MD5 | BCE2D1B1BD44CF1F707A5031D32DE3FB |
| SHA-1 | 0009851B31618C4B68A31F70558208FA7C042877 |
| SHA-256 | 2591926C076E4496E5C3511F37D2306D42664BCD7E5A22956CEBACFF95E7C75D |
| SSDEEP | 768:b322xJhv5Nbcmosv+4XIT3iJYmMq5XDX6jZPKQwin/six6vokCZwm4jCueH3EPzd:T22xLvzp+5iimM4656nvokIJH3Eh |
| TLSH | T1C513F806D01D5CB91AED5AFDFA68E147D443048C41B2C7986E0892FFF9C563F1EA988A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/ZArith/Zcomplements.vo |
| FileSize | 40089 |
| MD5 | 29F61956CAF53BB42457F08D317395DC |
| SHA-1 | 002AAC20EFBD84CD287AA17996E3D321BED5DA99 |
| SHA-256 | 02A059CB8C2CDB2C5D56C9717C3772DAF1235F3F686AD6D55BD2E899755A319E |
| SSDEEP | 768:DL1ZCpw+pGXMO8kPDDKe7FkrIN42bVCV4rQqqImxUvE5gxaPTAbXAoFXAAT6af:DfAwvXMOZree7FzOi4uwICU8+aPTEgC |
| TLSH | T18803E716D02C1CE5AADD68FDF678E187D405044C9172C398990992BFEFC9F3A0F6985E |
| 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/index_section_O.html |
| FileSize | 19879 |
| MD5 | CA5C5B8129133632FB4DFC30B76CAEE9 |
| SHA-1 | 00B06700DCE1815F1F4B6EADB6403E7DE47BE7F1 |
| SHA-256 | EB5DF41907C351C9D2A3FAA776E251711C7D06AC46C3AB1EECB9F3517B64D4BA |
| SSDEEP | 192:HjpWEMfc3h560ykyJLN28sj3TV5VjEuWJh2JPQJV7NQs65rpBX:HVRI4vSJaBX |
| TLSH | T10D92F44614C2646E46597A2F4AB47CA966F30BB54B343C10EF9FFD7FCAA2390120D293 |
| 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/Numbers/Natural/Abstract/NStrongRec.vo |
| FileSize | 503095 |
| MD5 | E3DF63E481E9B70CBF6BADF6557799EE |
| SHA-1 | 013D42C882FBA634AA5A6F595378179B10790618 |
| SHA-256 | 467DF305CE86039FB8D0A62C349B9AD47ED61448A692523461CEBAEA6451D5EB |
| SSDEEP | 12288:BR9TRDMUc1gAJwNMEUrNZp1hzahPAgV3H:VT9MUIwNM3r98PACH |
| TLSH | T104B4F69A915D4C92B8FD08FFFD61B117E14B088C52B5E2C18808A2FBEBC326D5DD5D4A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/RingMicromega.vo |
| FileSize | 297198 |
| MD5 | C63563E74C9889DE63C312CE85DC6F09 |
| SHA-1 | 0151B9BCDA51D3B152396DA33840019D82E540CE |
| SHA-256 | D1ECC7C2BEAA6DECFC19D5D6B8CF9F18D0E68F144E2112FE86F924DF0CBCBA03 |
| SSDEEP | 6144:shV7M5OjaGTz27U16EflISydpl1flzZUDyH3I:shVr8bvpfVZ28I |
| TLSH | T10854F837825C4D09C9FE19FEE7BBE746F530490C96B23363599CE3065FC122A924279A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/setoid_ring/Field.vo |
| FileSize | 7018 |
| MD5 | 01A25CA2EED2DF084CA9B23522D3952D |
| SHA-1 | 015232A5F0B1C034839FB97B02C853648D86EAF5 |
| SHA-256 | 3C57A87BF18CD7F186513BEF6EC97B72FFFF7752A703FBC67523728858E9BD35 |
| SSDEEP | 192:qfRqKVIHxbDkeNXoi/4T2sPEDseH+R0td+3dBAjyb:+RqKVmxUOT0tEYQgdWQ |
| TLSH | T135E1740AF03488F9364ADCDDFA3CA4C1548A455950A6DB187A09D8ECE96EEBB0F7121C |