| Key | Value |
|---|---|
| FileSize | 21431952 |
| MD5 | 0E3396F6BFEB9ABC6FB993C7BC8FB4E4 |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | coq-theories |
| PackageSection | math |
| PackageVersion | 8.11.0-1+b1 |
| SHA-1 | 7F04EB8D93F71C55B57839FB46E41E1231313D2B |
| SHA-256 | 6BC8A447126A3A55F45C6AB9171F4538CCEE04CCFEDC4758A4319D4B16F9DB4F |
| hashlookup:children-total | 2535 |
| hashlookup:trust | 50 |
The searched file hash includes 2535 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Ltac2/Pattern.v |
| FileSize | 5525 |
| MD5 | 2C8D6F7C051DF2B69ED6336FA0EB4FC4 |
| SHA-1 | 002488933C88853969D39B67727CBD45834447A5 |
| SHA-256 | 74908AA1931DB4E7EC82EBBF8E1B07A8F9FEDABA4080C651E0719BE5628D7452 |
| SSDEEP | 96:eDCcFAvURXEB4OfaU6yIb1vG2DIG0PPILZa74IdoMHZJtSS/siRn/siaAzI1/sHY:2CghQxDNSNimiaAJxu |
| TLSH | T185B1E27606F81F32E5E280EA514BA0D5DB06D4AB5701B056F09CB1A51BCF430E2F7ACE |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/Lqa.glob |
| FileSize | 752 |
| MD5 | D1649B4BF3D7B1A8EE44BC9DB1852482 |
| SHA-1 | 007FF8CFCDC570B61689DB6A872B4F197D9C6E29 |
| SHA-256 | 92932ED41649F1FEDE95E27C40C60FCD68468DF7648EAE84744189E6864987C4 |
| SSDEEP | 12:VpNRKTNziny9R5yijinaE2Nma9Y3cT0iINNzWLnUS9IzRsNzaZETgccD9I89IQ:1sTNzina5yiOnaBNma9YM01NzWLnUF9l |
| TLSH | T1B80192BE0217C4F0E5060F79801CEBD99E62049EA96604B6E3CD192D6C10ACDA2E6AA0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/PArith/BinPos.v |
| FileSize | 60256 |
| MD5 | 8E103D399D5CF49529071E6A1EE73EB7 |
| SHA-1 | 00943EC448CDA68397AA1CA797472488BBDA184F |
| SHA-256 | 65DEE6F24D2EEAE31CCAD93B35C574378159C362FE75C19264F72BEC865F3B93 |
| SSDEEP | 1536:zma5JRFqX6GrrY0g1lvRJAPVemdiQK5gK7ony3aD38AL:zdFqX6Grr9g1lvRJAPVD0QigK7ony3a5 |
| TLSH | T1DE438491B0CA5E0196C9B4FABD17A4C3F521BDC8ABE5938CF5CC72F8461E12076B2835 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/NatInt/NZBits.glob |
| FileSize | 14161 |
| MD5 | 44282219339A6CCCF8D2FDF79DA2803B |
| SHA-1 | 00CC57B7799B0013652F79EB2B29E7754DA9DB31 |
| SHA-256 | 848AECB423B961D874164275E4801F450C18FDC77396BAF5A16C561A4D6945D6 |
| SSDEEP | 192:itGUneMFcVRfFYIwfV9LNDjdX+pVURfC5HvoZn:itJneZVotdNXdXmVUAo |
| TLSH | T13052F7FA17D1A6B897A91CB12B1412EC06FB2F7D4576136C154D8540BEA3B2F628AF03 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/FSets/FSetList.v |
| FileSize | 1228 |
| MD5 | B680485A6F067DBB452FC1C0C86D3170 |
| SHA-1 | 00DB4704C7E4D0B627A7FF3D2D750E5C6A4E0847 |
| SHA-256 | BCC2C06B6EAE1FE7D2E21FDBD841D8486B31633186E14B644630919BDE83C3CC |
| SSDEEP | 24:eDG9D+dqcNExYcx0E2EOEbD49VO/ytgtyr:eDG9cqcNExoE2EtK |
| TLSH | T15F21CE4224D84F7243860C968F9AD8D6DF45E29A541B914DF89DB63D070EED703F4690 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/index_inductive_H.html |
| FileSize | 18591 |
| MD5 | 92965681BD83942DF6014847FF109893 |
| SHA-1 | 00F70F3EDD44EBCDCC7F79B3E72A70F03A2667A5 |
| SHA-256 | 869682E0B4625D973A43FE685580476AC9DA0819EDE901DF1B202D7AE919E307 |
| SSDEEP | 192:KpWEMfEjAJPg5JV7BQsQJLPVPhX6hEV8R3QxOVCWWy4jhaF:0mg59cd5aF |
| TLSH | T10182CA4614C6646E42597A2F4AB47CA962F30BB54B243C04EF9FFD7FCBA2390120D293 |
| 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/ZArith/Zpower.vo |
| FileSize | 58572 |
| MD5 | 56FD0544BC77EFF38E7487D72A9DB8F5 |
| SHA-1 | 01116B84E9454FC2E68555DB376DAAF3A62D2FAC |
| SHA-256 | 91DC01341DE1EA3DC2FD5831C4075114A7E9E33F2EAF05A46377AFCAF318C780 |
| SSDEEP | 1536:m7awoGtoc7PPa+UUeKLMybhALfmj2oGHkA:OawoWbSvUe6BAbmj2BHb |
| TLSH | T1AF432C0296019BA0E8BE8E74EB74A0C566524DCF127F53271D24827CDECB2DF35B9687 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Sorting/PermutEq.vo |
| FileSize | 57793 |
| MD5 | BB9C1321DE5B729D3F379EB485E54C4F |
| SHA-1 | 0114591EFFA505BD96155ED333322B8FF4DAF85C |
| SHA-256 | C0AFA41D55990E1447C5B13A459623193BA837DA48C47D7EEB498C399BE3A705 |
| SSDEEP | 768:kRahXTD6F/oUxvOPyQmPPa+E8/DaB1GKUeklaxmyfMuqBWdREgVbaTGhjvv/OYxS:Ea+oyOa7PPa+WUeNDqB2jbaTOvrxe8g |
| TLSH | T105433A139505AFB118FADDB4DB7490C1A4424C8F937A136A1D25026CEF8F2DF2AB96C3 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.Numbers.Cyclic.Int63.Cyclic63.html |
| FileSize | 85505 |
| MD5 | CA4A8FFD9349338CF786D648C19A484B |
| SHA-1 | 011F0A4E1A4FE41D368AC5D1986922429E03F96A |
| SHA-256 | FC18DAFA03B6E62E629EDF736A97805570916F8AD9574BB6C4C520D6865ACEAF |
| SSDEEP | 384:0E39oGMkxk6U6xD0PMAUBXAJmRHcBMX6/PSogX2JCq38OQckbKb+rKb+MMxpKbEI:5NogKb+rKb+MMxpKbEeKbnMe7YZfb |
| TLSH | T1F18315E843A2653B4DB346F506FD5F29F0D80F89E5448C10F2EE46AA078EF1976AD463 |