| Key | Value |
|---|---|
| MD5 | 7D27682AF12B3AFCDBFF9386EB4F6AE3 |
| PackageArch | aarch64 |
| 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.fc22 |
| PackageVersion | 8.4pl6 |
| SHA-1 | ADDB486B22921E9DCE49005F2F07E973F50033F5 |
| SHA-256 | 1961E2B03DC9D713263EBBEAAA4E8E9B8E84B91811A84F457E3068333C79E8E2 |
| hashlookup:children-total | 1413 |
| hashlookup:trust | 50 |
The searched file hash includes 1413 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Arith/Between.vo |
| FileSize | 26725 |
| MD5 | 2D678ABC25AE69FE5F300FF956563A18 |
| SHA-1 | 0023355E6C5370CD249EACF967050D217C570E06 |
| SHA-256 | E2187BBF05ADC8E759FFDD4FF80430C72A95A7B00D597D467F62811E20618DA6 |
| SSDEEP | 768:+jRlCXnQi4Yq1WS4J1GuQzAqpHlA7dnpeHLth:8kD45Z4XeS7dnoBh |
| TLSH | T1B2C2B726E58C5CA5D9EF2CFFBB6DE35AC744448C53B7A3A1480C234B6FC458F0A1449A |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Reals/DiscrR.v |
| FileSize | 2382 |
| MD5 | 6CE97FECA424ADD661C5540449E98573 |
| SHA-1 | 0027704A5592977C30F4D4FB946512327B6217E2 |
| SHA-256 | 2EF09C418BA0F2BED1E626E704B4DACC7ACCC59FE7442C9D6D756BEF57544EBC |
| SSDEEP | 48:eJc3acigUJZ0ZmgBP9PNPI/ZbxzSzeKZttyT2ZyPGKZttyc:eJc31i1J6ZmgBPzPGdyXAT2ZyPPXAc |
| TLSH | T16E41BB91BD9E0F1591F0B9BCAF47F0C6F908845BE740C69CB68CB5A40F1CA7A264DE94 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Numbers/Integer/SpecViaZ/ZSigZAxioms.v |
| FileSize | 12020 |
| MD5 | A97F4FAFFA4C0F1D84891914488C60F9 |
| SHA-1 | 0047296A537B8A08FB8E894592F7C22BC144BC5A |
| SHA-256 | 8CBF0A7ABB5DF6346A2DE122FE52288F3A300CB53C8F6775D87115E81CB10738 |
| SSDEEP | 192:McFI2ZAFvGFSaEs59FUKACw+FXm8xSZB7k7UNNa6Ra65kFYO3WVrpT+5rLxNfKFP:McFI2Z+GFSaEs59FSCw+FXlkfawaj7Sl |
| TLSH | T10742000097C7DF166EEFB271EE0139D1A0146E4CB7BA8B0DE44D7756A6AE06438A1C8D |
| Key | Value |
|---|---|
| FileName | share/doc/coq/COPYRIGHT |
| FileSize | 662 |
| MD5 | FF9EFE6148FC17EC0A83A15B8A17178F |
| SHA-1 | 00ED8BE5D7B41C34EFC63397307A796AEA0E45C3 |
| SHA-256 | C7B5B416B909E358CB79DF8B13291D6CA52B68E61EACA744B46DF8C6A04C5298 |
| SSDEEP | 12:LJPe8QXpfLuMd/miu6aoWyBTvHiZ7CLpdGIva6uWAFxNI30hBga8kbn:LJ9QZTu6q3oWsbiZ7CLpdGI1un8kYFkb |
| TLSH | T1E401D313A6A82BA52BB14052501502C0B7DC5BDF9264D571BDAC811D9746E3C8BF331F |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Sets/Ensembles.v |
| FileSize | 4016 |
| MD5 | 8E44CDEEA128B9756496084FF2C07C36 |
| SHA-1 | 0106D54376F8C6FEEC85BFF795A4DA4B234A2CAB |
| SHA-256 | 14D18CFD9877E7E39E50ACF4B277649DE81CE43C92A4F6CC98FD34A7E62BED44 |
| SSDEEP | 96:eJc31imQdJNt9XJsKOlcSBoSJaVPq6RrVQqKV6WBlL:McF6FOlcSuSJaVPq6RrVQqK4s |
| TLSH | T1AD81321F3FD22F12474688765EF1D0C0783429BE12D65109B89CF39EAFBFA5216C1A92 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/toplevel/ide_slave.cmi |
| FileSize | 335 |
| MD5 | 1553574974F1204F26F48F33F8729371 |
| SHA-1 | 012447F94DCC589F0266E59F71FBE8475C6AA5F8 |
| SHA-256 | C2DCF5E61AA29388FC3B8CBCD023717B873FB6189BA5E1878FA8E40845C67350 |
| SSDEEP | 6:i8laIsgdXRHSzolnoKqoZ5TnBx/2Ol/fTw1XqJMplRAbmK/yagUmlv8:kpkXRyk5rXnB/l/fTw5wMplmZg/lv8 |
| TLSH | T10BE07DCF7471181DC41AB07A03A2D371245440BD5CAB5D57C0101118EECD5ED634325F |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/plugins/syntax/ascii_syntax.cmi |
| FileSize | 3679 |
| MD5 | FB68E58C99BC557506DD1F91F3ECB52D |
| SHA-1 | 013C1F2F650004B7BEA6174093FFB267C401F85B |
| SHA-256 | 82D9B3CBE75E2A81A94BCB57E51A4EE03C9D218DD3F3EF5FFEF1EDA3E81136D6 |
| SSDEEP | 96:XTPrHbpdbSJxILYJLd6n3BuyDEA5aZf6EiZPmFM0i08:rjbp5SJxuYVoHViF+j |
| TLSH | T19571D5DC0DAD60B454DB90EE80000CAB8951A7FF91738DBBC29C06DA29AE89DC71385B |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Numbers/Natural/Binary/NBinary.vo |
| FileSize | 727572 |
| MD5 | 47A43791787B386ADC2045741D6A8B06 |
| SHA-1 | 0147363C4E497C474DFFAA82E7D6DFC9F54F8F17 |
| SHA-256 | 62D99EA6B712871D8D5CED8941F7A16040861B81C274B3FF58D74874138B704E |
| SSDEEP | 12288:891Nij7x8ar9xvDzvT7OtP/Cp0nLFRKc4vQNGNxmrNApwUN5oLUZv/fPZ:89Lij7x8ar9xvDzL7OlCp0nLFRKcpG37 |
| TLSH | T153F4C5D4E28D7C42F87619FBFD407113921BB859A5FDA291C41CB2AAD8C328D1AE1F1D |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/library/states.cmi |
| FileSize | 749 |
| MD5 | 8FAF12697D0B95192A914A23059AEC81 |
| SHA-1 | 01AC99C182C5021725E1ACE252CA49DAA70A69C3 |
| SHA-256 | 0A3C263EDAC1A254C80B02A370AB21AE4665F7329338A9E62FBAC0FA9ACD450B |
| SSDEEP | 12:gQefUk5TJ5nBLq3BAw0jWSG60u8VZMziskglgBqUCMZcdPAkgIMplmZg/lv8:gcCtLq2jjWSGHYiwlgBrkAxRR18 |
| TLSH | T1D8019EDDE8718414C64EE5BE114DAE23A940807CB53F6C7B8402012A6D8D68CC30F18F |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/plugins/setoid_ring/Ring_base.v |
| FileSize | 817 |
| MD5 | A7F7F4442BE73AF41A17E39C37B8E270 |
| SHA-1 | 01B7038BD0890D85507C1F9C1B2F87ED8F0B51BB |
| SHA-256 | F36A90AD8B0D3967AD41ED2442C004FC3486382E3EB9FCE0FA518F2A660A0E43 |
| SSDEEP | 12:eJc3lS/TP8fXJYxAfhkRr5bRGP7Q/rC3svuODOd:eJcP/aciRtbRGP7Qr4svlCd |
| TLSH | T1BA01AC602BE40FB119915CE08D5AE1C3CBD9882BAE24804EF80CBB382B0DE9727F45D1 |