| Key | Value |
|---|---|
| MD5 | A1A091BEE2805A56DBA97A1B7363EF7F |
| 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 documentation and tutorials for the system. The main documentation comes in two parts: the main Library documentation, which decribes all Coq.* modules, and the Reference Manual, which gives a more complete description of the whole system. Included are also HTML versions of both. Furthermore, there are two tutorials, the main one, and one specifically on recursive types. The example code for the latter is also included. |
| PackageMaintainer | Fedora Project |
| PackageName | coq-doc |
| PackageRelease | 1.fc12 |
| PackageVersion | 8.2pl1 |
| SHA-1 | 758690643D2716BF0C25CC4CE2DC460267D6977A |
| SHA-256 | 633849E037797AF53A488878A9FE36215DC72EFCA743DE05D1CEA76257EFEFD6 |
| hashlookup:children-total | 689 |
| hashlookup:trust | 50 |
The searched file hash includes 689 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/index_variable_A.html |
| FileSize | 38446 |
| MD5 | A221D4B071DF9B290FFF0379D445B825 |
| SHA-1 | 00040160351FCF18DC59F3C87D7DE07C5C17BA87 |
| SHA-256 | C84E4AD62EC5781CA63909583E8E143191B64CFCD5A34D53AED2AA752A2C50BD |
| SSDEEP | 192:HjpWEMff3hK61yFJLB8X6VnVoEzWRJKRhQJV74QsF2/fN9A2ZEMff3hK61yFJLBv:HVK2vaew/g2n2vaeR |
| TLSH | T1B3034A4614C2646E4259762F4AB47CA922F30BF54B203C14FF9FBD7FCAA27A5124D293 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.Reals.Rcomplete.html |
| FileSize | 2464 |
| MD5 | 0B503AE53317538F8CB0F702E7DE6584 |
| SHA-1 | 01B619540C36BB1313C3F6757D3FDC2281A6EB3A |
| SHA-256 | 814CB0DB7A5036F514174D00212C292FA3CBC7031A07A1B4A5D003AD8DD29382 |
| SSDEEP | 48:dmIDEqJjpE5bUbqKG/iNGfm5GYGT55bUbNKLbTPJdRfVPefO9aPe4f:9bJjpE5YWKG/iNGOGYGt5YRgbjJdR9PO |
| TLSH | T150511BA05292D92F85B389D716E95F39F4E0C60ED6890C40F2ED56F7A3EDE8030156E7 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/index_inductive_O.html |
| FileSize | 16795 |
| MD5 | B6FCCF56DFF9B0DCCFE32D801CCA20EF |
| SHA-1 | 01E109E145BC1DDE39E05D0C3F424FE44A69225B |
| SHA-256 | B8F1F736A1C0A93D8E0FCE3C67D6BB53717415D4321B9D77241D657FEF666DF8 |
| SSDEEP | 192:HjpWEMff3hK61yFJLB8X6VnVoEzWRJKRhQJV74QsFBbn9p:HVK2vaen |
| TLSH | T1BE72D94214C6646E42597A2F5AB47CA922F30BB54B243C44EF9FFD7FCBA2791120D293 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.Logic.ClassicalFacts.html |
| FileSize | 58292 |
| MD5 | 4C5DFDD132CB60EFF826D7C3851C9B97 |
| SHA-1 | 022953D2E404F516FFAAEA3CC339B52713AB2F6F |
| SHA-256 | 2324A44833ABA61D5347D632D989EAAC9974133765C79F55ABEF0F06A3FE6455 |
| SSDEEP | 1536:y5GH69FwTm1BENMW6pcaaU4WMnG7VCW4LA4/MyOM0mPUE/esZj0PeChFc:yZ7+ |
| TLSH | T12343EAD081A2E87B447385D716FA9F76B4F0895DD6490C40B6FD47FAA2DDCC03442AAB |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.Numbers.Natural.Peano.NPeano.html |
| FileSize | 35039 |
| MD5 | BA04AD4E407B7FFDC2BB920EC0F57F3A |
| SHA-1 | 031C5C2FF2D0B9CB413089AA3D41168CC2FDB806 |
| SHA-256 | 1BA711A139F61210002887A1A5831CE72066EE27FECD0AD6FF85CDF1BA95FE1A |
| SSDEEP | 192:HjpEafYJ1AieQV6Ei7pVz95iuVgVgV4VjV5Y9VBVjVT9VLVjVk9V1VjVjVY9VpVK:HVE7oXw |
| TLSH | T129F22BE086A2DD2B417287E606BDEF64B5F09E49D2450C10F2ED96F7A2DDE9030C17A7 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/index_projection_E.html |
| FileSize | 18321 |
| MD5 | AF082685E6E4C2AABCC49BE7CA52B0B7 |
| SHA-1 | 039F67773D42B418DCBA137906D809B82AF03326 |
| SHA-256 | 0C9C364E6F80DA863FE735AB338E7FBFDCD646A07DDC0D0E82C048F9E8BC7E33 |
| SSDEEP | 192:HjpWEMff3hK61yFJLB8X6VnVoEzWRJKRhQJV74QsF3vghMxnJp/hJpMMJi:HVK2vaemhgfqH |
| TLSH | T1D082334214C6646F42597A2F5AB47CA922F30BB54B243C04EF9FFD7FCAA2794124D293 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.ZArith.Zdiv.html |
| FileSize | 84987 |
| MD5 | A16686388795A314693E54C76F982FAE |
| SHA-1 | 0420459D26E2B030C00987384CAF6A67D8C2BBED |
| SHA-256 | BE3CDD2AAABCBC8E98F03169050530E82489F06922CD4813830FEC5615D9E16D |
| SSDEEP | 768:HGMkHENnRkH6g/fpfmbEKJ/CpuQ8JGwZlmqV:EEYH6g/JmbE1uQ8Go |
| TLSH | T1578344D081B2EC7F407389D727AD9F66B0E08E5DD6480C40B2ED56F6A3DDD803456AAB |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.Wellfounded.Transitive_Closure.html |
| FileSize | 5145 |
| MD5 | F81FF5DA774BC8CE0FBE7496088CB470 |
| SHA-1 | 043D3126F9C97D73C846CB67138312C4A626045A |
| SHA-256 | 9AFEF6FFC0FC074634F9B1F73EBD5D792CC19212DA088F70A4A6F0C4121B6263 |
| SSDEEP | 96:9bJjpEtYtWMnGMPIubHO/zMe8LGcM93XqLWzMykGbILaIoGo5Gb/Lh+IL8EGb5oP:HjpEtYtrbAqLypa38kPjvEYhks |
| TLSH | T1F9B129E042A2982F81738AE716F96F65B0E0C94DD6050C44F2ED57FBA3CDE8431526AB |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/index_record_H.html |
| FileSize | 16496 |
| MD5 | 0F3646A2443EBDBA41E336720DC66D79 |
| SHA-1 | 045D646B1839C4E10484C1387FD7A2670D02CCE6 |
| SHA-256 | AEE3FE1AAC1E666A90A27645538BCECE79FBBC8D5123BABC78E73E23ADCE911A |
| SSDEEP | 192:HjpWEMff3hK61yFJLB8X6VnVoEzWRJKRhQJV74QsFg:HVK2vaeS |
| TLSH | T12B72CB4614C6746E42597A2E5AB47CA922F30BB54B243C00EF9FFD7FCBA2390120D293 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.Init.Logic_Type.html |
| FileSize | 8817 |
| MD5 | 68147CC5F7EE75B776EE9DE3A9B52591 |
| SHA-1 | 0476B5D716084EF1213F707ED719194E89DE0E15 |
| SHA-256 | F81E7FAB641AE91AC2285A115EBEB13FA3340CFD44B0BDC335E62FD3AFF714DC |
| SSDEEP | 192:HjpEgfYZG+tEVYL2KGUzrGjyRmQ8ngP0Et/1:HVEzrtEHKxX |
| TLSH | T13E02C2D191B2EC3B447389D657E99F29F0E08A0DD7590C00B2ED56F7A3DDD803486AAB |