| Key | Value |
|---|---|
| MD5 | C3F836EDF774B1A998349A32187A3AA1 |
| PackageArch | armv7hl |
| 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.fc18 |
| PackageVersion | 8.4 |
| SHA-1 | C5B2A5B76EF258CF07B726D08C06851CA3FDDC6A |
| SHA-256 | 280E077AE0E3CE20407897F74F33FA497AD3BA6B34FAF026049FB7372EC0CD77 |
| hashlookup:children-total | 1412 |
| hashlookup:trust | 50 |
The searched file hash includes 1412 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/ZArith/BinInt.v |
| FileSize | 51967 |
| MD5 | 8D33599D041F7AF9CA63EA7048C454B7 |
| SHA-1 | 002BC17B49F537BCD698C4F924EC481AE7C741B1 |
| SHA-256 | B37A102EFE54A15BDCF2009840AF8D7BB6D29CB0AFE129ACD4C4F39C6D1BCF4F |
| SSDEEP | 768:epe2CndI6XTv4RhSqe7no3mYhvstSlGTglnEPFOW4C4/KSjpuzhMXSY:epexdI6XTv4zSqkxSkTglnE9H4BjuY |
| TLSH | T1BC338312B0DF59266BDCB8F7BE1674C3F120BA88A3F5979CD14C13AA421F6652E31C19 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Strings/String.vo |
| FileSize | 54040 |
| MD5 | 0823E9F5A1F7FE436A073D67174B53D6 |
| SHA-1 | 00A70FED71B3AD877842E25A5C46E90FB91B98FF |
| SHA-256 | DF59928E3CC95E1963A67BDB1A164FEF49723E82C579CA77B8394E49706C2672 |
| SSDEEP | 768:dGGgEfjLOS1QzoXBqkSTGZdpi8OKMxBtpA9Ya0r/KzLpKbukq:Y+OS61kOsdk39j7Kzdqu9 |
| TLSH | T165332915E6688C3AD9FE4DFEFFB8D3466114404D52BA73270D0AD319AECBEDA019608D |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/r_syntax_plugin_mod.cmi |
| FileSize | 2038 |
| MD5 | 9FA455BEFD663C18895BD8B92D032C99 |
| SHA-1 | 01356B3949FC5A58EB4E4BCC5E391E5B057B85E4 |
| SHA-256 | A2210DF5E163FF225D4BCCCEB7276960AAAADA3752889B2DDE9BBE700AB65F27 |
| SSDEEP | 48:l1gvk835pnjXo75KToCHreObay7FX9ruEfmzyD7vKh18:Pg735pnO4ToCH7FfmzyHvs8 |
| TLSH | T13D412C5CD3802233A5CAC7795000058A11F41DF58916C87A67E5D7DD871CCF02E03F0E |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/ZArith/Zmisc.vo |
| FileSize | 11626 |
| MD5 | FFDF7E2EBA63E44936DEC158362EB962 |
| SHA-1 | 013BD91043F1841C5F0B27D072D8168B653967D3 |
| SHA-256 | E16741A31C358D84CD5EF79485B62B2191CE2024A3C7A02B977BBBEAD5CD845B |
| SSDEEP | 192:Gcf9evvXQ5Z2KPZgdIEO0rt1QM2E/pSIRKKCRhnbXjualWU3VGUSwOPgEOx:G2T5Z2kmrTQ2SIsKgaalTFa1E |
| TLSH | T1C2326302E5348D9D1AFD0A7F3E3C004990490999501DD72F5A0BD95BEE9FFEB60B529C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/FSets/FSetWeakList.vo |
| FileSize | 331602 |
| MD5 | 774AF69A4F88D083CCE15B820B78D4F3 |
| SHA-1 | 0162A874AD4F8FAED965B891DD6FEFD57CC9EF82 |
| SHA-256 | 426822959D1C06D9BDA9730FAC6FF2E2F0579A576A520017D04DE0C107F40457 |
| SSDEEP | 6144:K4Scmm/KaXcowaYKiLEy0LdUT2BCaABT9xC9JtyzRXANYJ8O5Z8JgD7V2q:i+yaXcowaYKlOyBCan9JaRdJ8sZ4Y7VL |
| TLSH | T159646D38A2DC6E96DDFF1D75EA50A667E2910C8D43B6F2E1990CC34A8CC33D38259D49 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/ZArith/Zsqrt_compat.v |
| FileSize | 7686 |
| MD5 | 994187649A9A2C5636507AF2B0145E52 |
| SHA-1 | 0169AA4DB212DA02E6148E3279930A4352633A09 |
| SHA-256 | A3290D05B8F078314AC7A757F168B19F3E840369CD36BD17FD379615EFD4D44C |
| SSDEEP | 96:eJcR1iHJS1gr3mYlB6+8G8pHZ/IceVMKOkU7jU6OlJzK51gBSbi0yVljHZ:McfIKgFy+8G8pHZ/IceVMKyalJTsbipf |
| TLSH | T1C1F15F0D2EE04E2880C6FA3EBDD453D27B16F0971221985E708D71BC8F4E56A25F3D6A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/NatInt/NZGcd.vo |
| FileSize | 263681 |
| MD5 | 913133B025F9BE883835B531FABCC6BD |
| SHA-1 | 017B9942283EB89E2262F739B8C980D68B6CC14F |
| SHA-256 | 4A531645DD09CCEB7B963A75C35D573A4AD22E726F861044BA58F4566ABD2E12 |
| SSDEEP | 6144:FCnaDyvvSofhlr1WC/0WdAOdqWo1kxM68BIId4cLWzr7ILY2el:WaDyvKofZWC/FAOdqW6ky68iltfEY2el |
| TLSH | T173443909E45CBCB3ACFD2EFAF550B50BF09A0C4C92BA96C44D18D1FFD9C629A0995C49 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/g_xml.cmi |
| FileSize | 8438 |
| MD5 | D417B97285386E892D0F26193A533B38 |
| SHA-1 | 01B32383A6913D6595C271F1E14CBC72D784F283 |
| SHA-256 | AEA1B2BC837219167EE48EF358E3E960B4541DA439A2CEA88B260883469D6AFB |
| SSDEEP | 192:X2EByJJ+hlnPAn4hVu7vkuTGP8evyRLI7Y1X0EYLNJCQaRSOpdZ0O8w:mayahOn4POCPqh1X0EiCSM70K |
| TLSH | T16C023FCC6841F8F6514AA8BCD09CCD87252093BF896B4C77476D19A1A7BA19DCB12EC3 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Wellfounded/Inverse_Image.vo |
| FileSize | 6199 |
| MD5 | EF369B106B5572C58B3B40773330C801 |
| SHA-1 | 01BFA2463E13009EABE26A32B3A832998C576377 |
| SHA-256 | 1A55093542DBDA1250C4F9E594FF6AF73F827939074104C615047E3510B9BFAB |
| SSDEEP | 96:Gu7uvJ6gtqPW0mneMWSd3Nvuw3377GFsVN3Lp3av3M3ZDRdlw3K883IV3+3Y9BxG:GCuh65+0mnvJBG27tyECb84M |
| TLSH | T13DD10D27E2140C00ADD62DFFB72EE255C6880D985173ABF9164C3743AFD0A968A0D5AF |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tactics/hightactics.cma |
| FileSize | 546280 |
| MD5 | EAC79B5E4546147C134D84785CA0DE9F |
| SHA-1 | 01C51372C6B7EC3EB61B227EEB39C2F02469B471 |
| SHA-256 | A1FB4359C4AAD659C6E2C5B700AB7091AAD4A88BBB181834EA3EA05B47BB9C68 |
| SSDEEP | 12288:YdbUtbSeACCTmaJLDhtBxJrkGl0a2yfxyzzPF+zGhnsszXaSL3/yIe:lCTmaJLDhtBxJrkGl0a2yfxyzzPF+Iad |
| TLSH | T112C4000F270319F2D0A64972C9D997C52326E6316A4B0F6F285E872C2DF7BBB5E4161C |