| Key | Value |
|---|---|
| FileSize | 36233684 |
| MD5 | E8B5BAD8DFCFA6F86B6EDF319503D927 |
| 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.12.0-3build3 |
| SHA-1 | 84409BE866C6FDD301D61537EC09038597144C0A |
| SHA-256 | E529BB847D9249EDF8BAC5F322A737701F8FC065F54956D2892670A07C737663 |
| hashlookup:children-total | 4941 |
| hashlookup:trust | 50 |
The searched file hash includes 4941 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Relations/Operators_Properties.vo |
| FileSize | 24508 |
| MD5 | 237876B3F30A0042B9386CFFFA7B9D50 |
| SHA-1 | 0004186519B185DAC30F930145209C188ECE9ADA |
| SHA-256 | 8B9A536B232716B5BAD40D49CE85826867572593EA7F7916C95FF721CA3E53AF |
| SSDEEP | 384:HDECplCXR/r/gcnRSv6plup972pU4YGbPAdPS+4Fj2Af2q:jJjCzflIN2tYGDARM2q |
| TLSH | T18BB2A5F98E0D47B558DF09BC6350E2A163688ECE60B7B3CB1918639588C8BCFD613685 |
| 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/setoid_ring/.coq-native/NCoq_setoid_ring_Field_tac.o |
| FileSize | 2688 |
| MD5 | F455EF757A4647F3A86A25F71BFF5E4A |
| SHA-1 | 001B46FFDD32C71D9CA8EB95FA271FE6B2F6410A |
| SHA-256 | AF24B7E8C6D0520597A37B55CE479129FFE25A48455BB28468BF1A2A0F2C1498 |
| SSDEEP | 24:b+fTJTT58j1WE4ZCkwgJJI1HacrVmbSp5bfzWrFkRfJsp1UEP6H:b+7B5mJDgudokbS9S |
| TLSH | T12C518E031FEF8D79E119E1F04CB526326350F9115BE2C303E7607D5A8EB358D9D2A48A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlNativeString.cmi |
| FileSize | 2405 |
| MD5 | 80429B35958E467CE6956D945982F984 |
| SHA-1 | 00204244F31E96FC9092587BB09508DC7CBD7F7E |
| SHA-256 | 923F14F57FD425AD2BE6C71945731ED9BC5E577BCFAC5EE8D924E559B072EF85 |
| SSDEEP | 48:74Gn/M6UvVzH/egUK4cWpcD1MQu/NL7Jy9LtqZlL:nn06Uvx2+vWpdQu/NLtTZt |
| TLSH | T1B141D8543292B6D13633A3A78FDE405B02305A47C6A704BC47CC5BC80B7557A42DE59E |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/HexadecimalString.vo |
| FileSize | 379497 |
| MD5 | 780E52CB86A283748C82AF46071B52FE |
| SHA-1 | 0027FD2383AFFAFFD0FB7EDB9D0E9B7685157B2C |
| SHA-256 | 1B59AABB70E29B42E551A05E6E9D504D5BA5E6A06D50FCDEA4FE9AFEE0127555 |
| SSDEEP | 6144:oma62+9TUJL7P/eErgmlNDuCORmlCFIbXr9nHiJnf8FYd2/mYYPIHYB188KwMILc:o7KTa7uErgmlNaCORmsFyX+fOYd2/mgF |
| TLSH | T10284CFDAE214CD67D8FD18FBFA80708639D39D8F066A1626291CC43DD90369D319CF9A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Peano_dec.cmi |
| FileSize | 3666 |
| MD5 | 8D7645040B14C239C3661B3753BE7CA8 |
| SHA-1 | 002B1980D3B08548B45ED69DA17B1FCDAE1A07D5 |
| SHA-256 | 13DBE81E9B2EC7A9745AC40BCAD4010DA0A4DEEFB10921743C56622D769A086B |
| SSDEEP | 96:NEapnn06Uvx2+vWpdQuHDwy9bmgfoNLtTZt:HpUTvZuHDwy9kpdt |
| TLSH | T1DC71D59C3325B191BE57E2D29BA810930270266FDBE708BD52C90ECCC95842D83EA95B |
| 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/Logic/.coq-native/NCoq_Logic_ProofIrrelevanceFacts.cmx |
| FileSize | 2510 |
| MD5 | 5CDF6F833CAE025551CA09AA59A4AB6C |
| SHA-1 | 00485FCD63DC510CFF993814861C0A22E4A494DF |
| SHA-256 | 7A3289C8C68AAC9E12D441A98556DB08AB00AF9B6B700686774A57087FEE1B1D |
| SSDEEP | 48:Cn/M6UvVzH/egUK4cWpcD1MQuDbNL7Jy9LtqZl4NttSL:Cn06Uvx2+vWpdQuDbNLtTZ4ttSL |
| TLSH | T1FB51E9653393F6C23A62A3935EBE409702305553E6A648FC43CC07CC1E6696AA7E958F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith_dec.cmx |
| FileSize | 9443 |
| MD5 | 6B88D05A2402E5474F7CF9EDFEC8F192 |
| SHA-1 | 004A6E991F42ABB7071CB1C1D9E51AD140B37AF7 |
| SHA-256 | D35150B2B01D64D4873A41DD7F569D67202F0664C46072E0559A923A297FC865 |
| SSDEEP | 192:zTvZuy/ljTpdn2WXDkGUUHQGvsHI6PCfcPsrna1sDlia:/YUljX2ODkGUUHQGvsHI6PCfcUrna1sf |
| TLSH | T19D12372C22D7F040560356F65AB911D28EC0A86DDA406EBEFE494F4DEF45A0C8BB774B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NPow.cmi |
| FileSize | 2410 |
| MD5 | C859327D2B513068203ABBC27FC4ED50 |
| SHA-1 | 005D299099D1706A0206679FEEF7AB5B066E14DA |
| SHA-256 | F95E60C8F3B6B4906D6B927CC0EDF4796CE0A7EA6154768A3F883641A75A09D9 |
| SSDEEP | 48:sZ4vIn/M6UvVzH/egUK4cWpcD1MQu/NL7Jy9LtqZlL:sqvIn06Uvx2+vWpdQu/NLtTZt |
| TLSH | T18241A8593293B6D13622A3739E9D805B02305B07D6A6447C03CD0BCC166B5AFA2DD5DF |