| Key | Value |
|---|---|
| MD5 | 69CBBE84CC185A57717B538CB05EA1EE |
| PackageArch | ppc |
| PackageDescription | Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides the main Coq binary without an optional IDE, Coqide. |
| PackageMaintainer | Fedora Project |
| PackageName | coq |
| PackageRelease | 1.fc12 |
| PackageVersion | 8.2pl1 |
| SHA-1 | A0062E3C9D35D1DE6E83B74DC22895BDCDACEAC3 |
| SHA-256 | EAF7E4F286C18E1D32F21EFB5F579281D3DCC9F06A9D83575CC345D4191BDCE2 |
| hashlookup:children-total | 1140 |
| hashlookup:trust | 50 |
The searched file hash includes 1140 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/Rseries.vo |
| FileSize | 24668 |
| MD5 | C71A5A78AD0F751C4E389B8BF1A4201C |
| SHA-1 | 000F34FCDBA58DAF93CCDDC96336DEDEDDE6145C |
| SHA-256 | ED9E71325EAC7AFDB97296215B92FFD38511B44DBE154B3CFC0B0FB66E30BB10 |
| SSDEEP | 384:vjpN0gH/tFV3591rZZIFTSxdRx2rdzOY/K0xpdoGgi+tEUx77CLDEHOth9pCfxI:L9591tSSDR6uYTX+95MDmfxI |
| TLSH | T163B2094AD52C2CFEC5FE9FF4FA7492869142404C9173A7DA9E04C2BCADCE2AF05B9145 |
| Key | Value |
|---|---|
| FileName | ./usr/share/coq/theories/Wellfounded/Well_Ordering.v |
| FileSize | 2035 |
| MD5 | 4998D21D93FE880D493FB7B9C687C4D7 |
| SHA-1 | 0015F11A835EF8665266C6C4FAAEA0D23D27356E |
| SHA-256 | 2ABA77CFEA8F901F470A13CFC37781A56A0CCCF16D1C341EE57AF7D6843E3D1A |
| SSDEEP | 24:eJckUacindhe5Kc0U/0+pSjo+CvUxyF8/InbNs7uQCrb4bHnLFPj4tGvb:eJcNacic0i0o/cg8/IJs7uR/4DnRPXvb |
| TLSH | T18641001F2CC0AF2A4A6B8CBCAFD714C8C9514E13A3B26049B81C726E5F0DD5553607E8 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/QArith/QArith.vo |
| FileSize | 5200 |
| MD5 | 53017E9F2DFDCF77AC5BCE85A940901C |
| SHA-1 | 005A6161E0B8FD3459D6BA1E4DC702896E2777FC |
| SHA-256 | E5C1908B1F66ADCC705F6BF553BEE1E7368AE1663D912404C4EC950B71A5197E |
| SSDEEP | 96:cxPdCeC6jPTkYZnu3g+a36SjieJWHt975UHb0Gqko4uOKoQLeU2:crCeC6DBZnufAHjVWHt93GHEoQLd2 |
| TLSH | T185B1000BD5385DFD684EDC50BD3CA5C4C296844892A36B78BA58C56DEDEF9BF03B2020 |
| Key | Value |
|---|---|
| FileName | ./usr/share/coq/contrib/correctness/Correctness.v |
| FileSize | 867 |
| MD5 | EC2D589C6F720B9E40992654F71C5451 |
| SHA-1 | 01AA94FA59680F0D73A536AE50365A23D034D385 |
| SHA-256 | 3441540BCBBA65EC92E705D7F53911924D1BDA3390D05B0F2FE4C536B9E8F467 |
| SSDEEP | 12:eJc3lSsN2xXyJYxAfhk3w7mgwFlN0neO6UEJuu+vVvZj+KuedJD:eJckUaciEWFfIjDD |
| TLSH | T1EA1199162BC45E71329640914A5AB1C1CBB14A4F1815A95AF48DBB38A74CF6317F42F9 |
| Key | Value |
|---|---|
| FileName | ./usr/share/coq/theories/Sorting/Permutation.v |
| FileSize | 6646 |
| MD5 | B3D1C1B1E29C368517FC82DA3A206C79 |
| SHA-1 | 01FCF647E78E552D1628222FAA817584D90AC33C |
| SHA-256 | A5685693EE41EE261C5A0BF160CAB5C32CEC8AC9EB81E8C285298FC896ACE6D1 |
| SSDEEP | 192:McbwJ39UtgLvroIFUmOH4mLV1IuUZsUsD9THbZV:Mcbw6tgHoIFUmOHp1IuCsFD9 |
| TLSH | T108D1109915D1AE022B97DE6F67A5E1C27634F407B2648910F6CCB26E2FCC23923C5F49 |
| Key | Value |
|---|---|
| FileName | ./usr/share/coq/contrib/subtac/test/Test1.v |
| FileSize | 283 |
| MD5 | C07B0C9E743AEE3DA13A8C3C4731AAB1 |
| SHA-1 | 022288D0406B707BB4EA98FD728F577A5BA7941B |
| SHA-256 | 5F8BFC22557CD7BDE9D8ED95E424AD75C4AB56E8E2CDCFF84537DD1116701E00 |
| SSDEEP | 6:fG/2kHayvhvFEfFCayv5MKMtP9jrSIBNXvFLYa5IEUNwJ4F2/ID4Q/kv:fGek6yZE/yKR9dBRdv55NJ4F2wsQ8v |
| TLSH | T1FFD02BC915834147B4978463CE50704894F0CE085FCC09B38B0C88E605E72F8AFB9B7E |
| Key | Value |
|---|---|
| FileName | ./usr/share/coq/theories/Numbers/NatInt/NZMulOrder.v |
| FileSize | 11747 |
| MD5 | 89971028B73971313433B1A7A4F33AE2 |
| SHA-1 | 02A14E7D2E5825E758C007123615149767B6EC09 |
| SHA-256 | 6EDDF44D9C314B2039A456774255B50D487C96BFB3A48761B383379A62B2C0A8 |
| SSDEEP | 192:Mcbm5mCgHyk9Lwcdul80h6rtDOasnGE7KpyMQEKss8:McbugSqEl80goasnGEMQQ |
| TLSH | T1FA3201433C134FB59DAA71BEAF76A4C48624BC07EB885735A08DF66CD32CA57A2C1C15 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqtop.byte.1.gz |
| FileSize | 275 |
| MD5 | C85D082EEF138584A662D850DBF002E0 |
| RDS:package_id | 182052 |
| SHA-1 | 02CA91ED439B35E686C7FF49CDD3E8E67EB0E7AE |
| SHA-256 | E790CE35A5A670BB38D1B71AE4A52467D42C425651C8AF23A8273617936C410A |
| SSDEEP | 6:XtCvPuAceBvF2JT+Y5UxHhMutBBlBNduhXM:XMvP3csvFI+Y5UlhMuplBAc |
| TLSH | T174D0E7B59CC920BF8BDD040147101D631787D5DC1581642500471680314954D7673834 |
| insert-timestamp | 1679424703.0916345 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/NatInt/NZAdd.vo |
| FileSize | 21117 |
| MD5 | 3055240AE6C9FF7BE54C5132D209F0D8 |
| SHA-1 | 02D76A696CADB0F2A3A0508D8A94D08045A5D046 |
| SHA-256 | 9F9CD35A41BC464592974F37B55880258CAB5E0510C9B2486B99D921671FD6EE |
| SSDEEP | 384:R61D84TP/ghpMVEdO1LPFepqEPtzJ8u2kLahFP8VABg0fy2UQWD:qD84DVFPaxJJqFPiABg0K4WD |
| TLSH | T173922B8ED33A4862DEFE0672B5B9B197542C4488C1B0D59B851533B8FFC8B3D4B9066E |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/inductive.cmi |
| FileSize | 4675 |
| MD5 | 7F8305374C98E1B5DB4414F96F0F899E |
| SHA-1 | 030E0FD6ADD547E86303EA448ADA5C922D6540FC |
| SHA-256 | CD3A323569402769367663AF76ECF7120A035B377DB97701FB175E744CCE6B4A |
| SSDEEP | 96:ivBi+vJ0dO2GEpGNYvVAknB26wPe3wKTfDKNU6M3nt/Ne0+8X/mN8:ibadiOGA2jPe3wB+Tnt1V+8P |
| TLSH | T15CA1EBCC4908F8C62AAC999CD299D44723225B7FC46B4DB7232D1DF594B905DE322ECB |