Key | Value |
---|---|
MD5 | 710AE53CC913B0FCE02D1C912FC93980 |
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.fc19 |
PackageVersion | 8.4pl2 |
SHA-1 | E85685A363C2FFCFFABCBA6165C221CF0EB092D9 |
SHA-256 | 1ACE558CBD948DDC7C2117C70CA5EEDF9BF8619FAB0A8FFC657C21455AB114AE |
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/plugins/omega/OmegaPlugin.vo |
FileSize | 627 |
MD5 | 80CF5D62263F9B85140E06D2F542A873 |
SHA-1 | 001B0C59C0F24D8A58E34EF72BD70AABA2A342B1 |
SHA-256 | F3DE332CCF6BB697F6166923B99611EAD38E180D999BCCFCDC70FA9ABD8BCCB2 |
SSDEEP | 12:G9EvoPjjA/cIQD7E8RcHNNCok7uRPsFPoyXIC8lP73lzQCcSXtiEH:G9rPhIQD71T5oblVHF |
TLSH | T16EF0285DA2241962C8DA5578E33AB2C89CDC868202A5BF0D25D4934A9D9E46F133E229 |
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/Reals/NewtonInt.vo |
FileSize | 176420 |
MD5 | 8BBC3279B47CE092F5AD1230A31606A2 |
SHA-1 | 004A6E3024F5DBBE96AF446CA9A5EDAD57E9D5B5 |
SHA-256 | 96C897215191EF2D6A719DA8EC40511907D0CA5284DBF910764E12CF3D593F0A |
SSDEEP | 3072:zGUCuaT/etGV9p/MkV+5NIFhHQIQO7DxAqi9jZMCF785U1jpH:yWmcPNOPKz9cUlpH |
TLSH | T10D0451B58E388D3AC4FF4E79F6F6CA4B41915189566332FF0648D09C6EC729722C86C9 |
Key | Value |
---|---|
FileName | ./usr/lib/coq/plugins/setoid_ring/Ncring_initial.vo |
FileSize | 164409 |
MD5 | 4C3F118426A337957E826F2537C0D2EB |
SHA-1 | 00BA8338D9262940F555F4110187260CE6D698A2 |
SHA-256 | B5CE76B9F423A2AE455C3B0092853F7E847563ACF7D5E96F017666B808804482 |
SSDEEP | 3072:yPy0YFX2N2qKXwbCx/34LapkRUtLTy3cmHlPY9zVc5:8cmcjwGNUapkc3mHlPX5 |
TLSH | T17DF3B531DE1C9425C57F887A3FEAC6CA63A021AC627536FF295C924D8EC308B35D1796 |
Key | Value |
---|---|
FileName | ./usr/lib/coq/plugins/syntax/z_syntax_plugin.cmxs |
FileSize | 20868 |
MD5 | F5796F0712B7D8685994252BFD515C99 |
SHA-1 | 00F6E57CA13DEB05DF8D4E982DA6D1FA735D0414 |
SHA-256 | BFFA485A8D66D58CD07EC804F971A630909F5A0D3C8DF19A24BEC6CA3D44DCFB |
SSDEEP | 384:LWfa3yKFq0ANufXfVX6XyH4+wfqF9pohFNou/MTQ5wZujnkrvIeqvL:kaXANufXfVX6XE4+XFLohFNNEQwIjn8k |
TLSH | T125921947F08BDA7AD0D9407CB0DB07443366D6926AD64B123F56228C7F969F81626EC3 |
Key | Value |
---|---|
FileName | ./usr/lib/coq/theories/ZArith/ZOdiv.vo |
FileSize | 18062 |
MD5 | DB54A7877A2FABFE18F13223C5B6FE2C |
SHA-1 | 010F91EE56CEED0EB86BF021DAF69F0DAF24D8B1 |
SHA-256 | CD5A24241D3990CA581D735BEA269FF2A4C445797FFB8CF260112806661D3A2E |
SSDEEP | 384:G9Z1QzrU3Jbi6ls4eD7MIbZfg/sp9S7+Zv:w1Qzo3I2s4eD7E/syq9 |
TLSH | T16482A5169530CFADDAFD4DB63E7D2188404405554048E7AB5A0BC35EFE9FEBB22B628C |
Key | Value |
---|---|
FileName | ./usr/lib/coq/theories/Reals/Rcomplete.vo |
FileSize | 24647 |
MD5 | 79B595F33606BDC344B79DAD8DECFFF4 |
SHA-1 | 0115C8A2782AA77E307315F6FDF9215216BC2311 |
SHA-256 | 3EF4BFB28772949043A480A737301469C50C4B3FFD6CB56861D8947F044E034D |
SSDEEP | 384:GC1QzrUZpKjHlGi7LeayDFZIYMdKotxHzoLXgtkhSF6yRqNCRjGP9ExNhZXqCJFJ:H1QzoaDrf7yDFFMdp0MgK+GGP2Df7 |
TLSH | T144B2D806D5389C6E05FD0EB6FE38A14A4046048C9079D74A6E0AC5BEEDDFBEF217468D |
Key | Value |
---|---|
FileName | ./usr/lib/coq/tactics/rewrite.cmi |
FileSize | 40732 |
MD5 | 1E2413F4B972AA6AB2E4737070D68EF2 |
SHA-1 | 015B3420D364F31DFA57526F1157D6EA5290A595 |
SHA-256 | C6DA5FECF966DA60029BBDF43BD682E146882B832D30A897617B4E5B55847C18 |
SSDEEP | 768:GsCdExi7uqykynGNlzS4PUM/Rs/Br5r6ECC6vvz0rOXIkiNWTc:GsCix9qy1slzS4ckorF6E+n4rdYc |
TLSH | T1DF031C8C6854F0F501CA949ED188980B6B9093BF2C771DB3822C95F46F9A64EDB52FC3 |
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/NZAxioms.vo |
FileSize | 135147 |
MD5 | 9EB1840AC3FFC7C5215C2BB6A41F990C |
SHA-1 | 01D75EEA8955A73EDE68074477594A643A0639AA |
SHA-256 | C7108F197206327D81524BECCB164415D684C33132B009809B0A95D6FD6E0CC0 |
SSDEEP | 3072:GsDeflBnJGG+f+UzB68LxHKD75LQjemb7RzhoiDJVFN:GsDwPnJGJjxs75CPocJN |
TLSH | T1B0D3941877DD6F3E24BA6CADE9A05B6BC581CDCE0315F1C0C21AC2A5DAA13B357B6701 |