| Key | Value |
|---|---|
| FileSize | 23918664 |
| MD5 | 1DEEFB763D2A83AEC13464F88DFF060B |
| 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.12.0-3+b3 |
| SHA-1 | 631F7FBDDFAEBF71440BFD41D17272A33E61A2CC |
| SHA-256 | 121A0BF54D92512700C5DD95222E4C778532E49BC6164C2596DB8BA7EB3EA9C3 |
| hashlookup:children-total | 2662 |
| hashlookup:trust | 50 |
The searched file hash includes 2662 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/index_projection_M.html |
| FileSize | 23381 |
| MD5 | 2BD5F21F51E0A9131EF16424E5FEC4A8 |
| SHA-1 | 000C7D0FC0991D9F9064FAAC7BDE3C5C27E2E988 |
| SHA-256 | D581EB6E93583ADDA8F0C806922536CD122BB9A654A357AFCA81D96DF892AB52 |
| SSDEEP | 192:KpWEMfVjiXdTgJPtJV7XQsoJLIVuhrEA608C3Qx1VHWLy4j/0q:0X0tvEgo |
| TLSH | T19BA2314215C2646E42597A2F4AB47DA962F30BF54B603C04EF9FFD7FCAA2795021D283 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/FSets/FMapFacts.glob |
| FileSize | 319787 |
| MD5 | 1927E2601305575C967E80921CA42E1A |
| SHA-1 | 00302BAB730D1B98EB38151D028CD996D5031B16 |
| SHA-256 | 559D3DC597C26B11F14C7F01E3CC979AF13811C53ABCA74E97055FCC31B29555 |
| SSDEEP | 3072:ysodLARSmgOFBg9RP/XcTJvfzLe4QcBIFIsnQU5SaMzZ22L+fVRjPVgn2TyJaTbm:WA6mJay7 |
| TLSH | T18B6456FE71476E7B1E9FCE73874123A6C95901F72A6B0032B6EE8BF9396418D01189D4 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Init/Numeral.vo |
| FileSize | 21253 |
| MD5 | 14452A56B8258A41F4A89BB4D50E6A52 |
| SHA-1 | 007F19F0A2753CBBD196A9FFA20164543EC5DAF8 |
| SHA-256 | 84D9A55E68D75CB07A4CD8FE68C5F05DDE995C2F5B533F5786380BBD3582228D |
| SSDEEP | 384:zKwuNgK5wg1wkyU6iZy/ON5+433EmhyPOukKEa8U7j/oFt/fkXTo/SjYYcR2:ogK5wg1wkyPiZy/ON5+4333hyPXzCU7P |
| TLSH | T11392C56AFB059C61C8EB2AF2E6C6931D2BB1A04E17F763474805D6685CD336F290F2C5 |
| Key | Value |
|---|---|
| FileName | usr/lib/ocaml/coq/theories/Logic/Classical.glob |
| FileSize | 154 |
| MD5 | 9DA2A7777B2B11FF7D1428A90880F666 |
| SHA-1 | 00884F2F040235006CA1A9A5BFE9A60C81A1C174 |
| SHA-256 | F96E319C26FC91B9A59F7BFD857DA9395F0D86C6CAD3D771F61A7D0851E34834 |
| SSDEEP | 3:JnDTdhnXNUKXXdJfGSJEWWkhSaXfGSJEWWkMenFZknDUpGSJEWWkM6mbgP:FTLn9UWdJfGSJVvGSJUeFanDGGSJU6mA |
| TLSH | T1DEC04C26890525F43A9319715D8113F06371718DAE55DA51A46E990E06C489CB924BAE |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/FSets/FSetWeakList.vo |
| FileSize | 114126 |
| MD5 | BF2B3C0BBAFB980B181C156508B35B8C |
| SHA-1 | 00A9802F78980FE8040DE579A9E014CA8D81DC8C |
| SHA-256 | 0E005574F9EBAB1AFD74F84FD0CE1E7F4CB36D07055B2D0E0D2BEAF83914DA70 |
| SSDEEP | 1536:TLJdr3bz3uI7kJsaepmbmWpuLo+qzECixs842ooUHrqyvc+H/qYENtw0MBj0aE3D:T197umpmbLBECH/9D1BLEU0 |
| TLSH | T10BB35A07BE010361E5628670F3E9629ED0614E9B42BF97579C1DC268CE8F6C71AD97C3 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.Strings.Byte.html |
| FileSize | 256280 |
| MD5 | 4519066FC248EED9DADB9AA768B4A613 |
| SHA-1 | 00C94BE2641DC47C396149D525B80D5E160D1229 |
| SHA-256 | 31D6B61185282BAA9A7BACB42EA3CAFB929133A3FF0D264E54662013F80E99B7 |
| SSDEEP | 1536:IMWVUPoNAuphYZcCCp3B+HUIA0QY4vrY7hYZcCCpXB+HUIPnsVI4lcyis5S:XfhURfZUc |
| TLSH | T1BE4471A412B1787B4AB746E536E837EFBDE055C5E449CB00F2BF05E20ACDF287265522 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.Structures.OrdersTac.html |
| FileSize | 87954 |
| MD5 | 1095BC907FC5B1076B27E9D0F6148989 |
| SHA-1 | 00E66BBDAE832F9CB14BF5D1D2282248E9C2C3C7 |
| SHA-256 | 9691AE6EF6B552AF314E1C884CA538BA3836950DB5D2E169A14786E6E22E3C47 |
| SSDEEP | 1536:82RVsfkaVG22xWYT2Ty2YyTfBv72sjMjzBu+Acue1fpn+ckQxAiydBgUsI27oQdK:3QgQ |
| TLSH | T19783F5D893A268374973CBEA13EA6B25F4E04989E5894D10F2FD42F742DDF34B542827 |
| 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/Relations/Operators_Properties.vo |
| FileSize | 23958 |
| MD5 | C21617227AACC5112CD8B3AD8BD2A6F8 |
| SHA-1 | 011519A3CD06543D251384819A624E89ED134208 |
| SHA-256 | E529117B2D7AB4ACD8CA2C751E2A45BEA4DC1195FECAE3F942DDF1157B42C320 |
| SSDEEP | 384:a8ECplOXR/rDIj4Avd4p972pU4YGbPAdPS+4Fj2Af2I:jJj+/iqN2tYGDARM2I |
| TLSH | T19BB2A5FE8E0D47B558DF19BC5354A36163688ECE60B7B3CB1908639188D8BCEE613785 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/Rlimit.glob |
| FileSize | 109562 |
| MD5 | 5AB3F4F9EE406847F71274FB2443C86A |
| SHA-1 | 013F4A38DC28F9DECCD016C1269B3A07913B194B |
| SHA-256 | 3BD94F3C0FE7FBE3673446D96B6649E4FDAA17D0FBDE256D6FE6C8DD15C854AB |
| SSDEEP | 3072:8dYEynatofim9mHj7L901Io+oxVyY7B71fuYQPH/bUfCaN4iGL3GaBOgOJzbzzIN:8do+o4 |
| TLSH | T1D2B3FA3F05CAC67385569CFAA3E86377BD3B84962A0F39D1F74E85496CA5938000FE61 |
| tar:gname | bin |
| tar:uname | root |