Result for E85685A363C2FFCFFABCBA6165C221CF0EB092D9

Query result

Key Value
MD5710AE53CC913B0FCE02D1C912FC93980
PackageArcharmv7hl
PackageDescriptionCoq 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.
PackageMaintainerFedora Project
PackageNamecoq
PackageRelease1.fc19
PackageVersion8.4pl2
SHA-1E85685A363C2FFCFFABCBA6165C221CF0EB092D9
SHA-2561ACE558CBD948DDC7C2117C70CA5EEDF9BF8619FAB0A8FFC657C21455AB114AE
hashlookup:children-total1412
hashlookup:trust50

Network graph view

Children (Total: 1412)

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
FileSize627
MD580CF5D62263F9B85140E06D2F542A873
SHA-1001B0C59C0F24D8A58E34EF72BD70AABA2A342B1
SHA-256F3DE332CCF6BB697F6166923B99611EAD38E180D999BCCFCDC70FA9ABD8BCCB2
SSDEEP12:G9EvoPjjA/cIQD7E8RcHNNCok7uRPsFPoyXIC8lP73lzQCcSXtiEH:G9rPhIQD71T5oblVHF
TLSHT16EF0285DA2241962C8DA5578E33AB2C89CDC868202A5BF0D25D4934A9D9E46F133E229
Key Value
FileName./usr/lib/coq/theories/ZArith/BinInt.v
FileSize51967
MD58D33599D041F7AF9CA63EA7048C454B7
SHA-1002BC17B49F537BCD698C4F924EC481AE7C741B1
SHA-256B37A102EFE54A15BDCF2009840AF8D7BB6D29CB0AFE129ACD4C4F39C6D1BCF4F
SSDEEP768:epe2CndI6XTv4RhSqe7no3mYhvstSlGTglnEPFOW4C4/KSjpuzhMXSY:epexdI6XTv4zSqkxSkTglnE9H4BjuY
TLSHT1BC338312B0DF59266BDCB8F7BE1674C3F120BA88A3F5979CD14C13AA421F6652E31C19
Key Value
FileName./usr/lib/coq/theories/Reals/NewtonInt.vo
FileSize176420
MD58BBC3279B47CE092F5AD1230A31606A2
SHA-1004A6E3024F5DBBE96AF446CA9A5EDAD57E9D5B5
SHA-25696C897215191EF2D6A719DA8EC40511907D0CA5284DBF910764E12CF3D593F0A
SSDEEP3072:zGUCuaT/etGV9p/MkV+5NIFhHQIQO7DxAqi9jZMCF785U1jpH:yWmcPNOPKz9cUlpH
TLSHT10D0451B58E388D3AC4FF4E79F6F6CA4B41915189566332FF0648D09C6EC729722C86C9
Key Value
FileName./usr/lib/coq/plugins/setoid_ring/Ncring_initial.vo
FileSize164409
MD54C3F118426A337957E826F2537C0D2EB
SHA-100BA8338D9262940F555F4110187260CE6D698A2
SHA-256B5CE76B9F423A2AE455C3B0092853F7E847563ACF7D5E96F017666B808804482
SSDEEP3072:yPy0YFX2N2qKXwbCx/34LapkRUtLTy3cmHlPY9zVc5:8cmcjwGNUapkc3mHlPX5
TLSHT17DF3B531DE1C9425C57F887A3FEAC6CA63A021AC627536FF295C924D8EC308B35D1796
Key Value
FileName./usr/lib/coq/plugins/syntax/z_syntax_plugin.cmxs
FileSize20868
MD5F5796F0712B7D8685994252BFD515C99
SHA-100F6E57CA13DEB05DF8D4E982DA6D1FA735D0414
SHA-256BFFA485A8D66D58CD07EC804F971A630909F5A0D3C8DF19A24BEC6CA3D44DCFB
SSDEEP384:LWfa3yKFq0ANufXfVX6XyH4+wfqF9pohFNou/MTQ5wZujnkrvIeqvL:kaXANufXfVX6XE4+XFLohFNNEQwIjn8k
TLSHT125921947F08BDA7AD0D9407CB0DB07443366D6926AD64B123F56228C7F969F81626EC3
Key Value
FileName./usr/lib/coq/theories/ZArith/ZOdiv.vo
FileSize18062
MD5DB54A7877A2FABFE18F13223C5B6FE2C
SHA-1010F91EE56CEED0EB86BF021DAF69F0DAF24D8B1
SHA-256CD5A24241D3990CA581D735BEA269FF2A4C445797FFB8CF260112806661D3A2E
SSDEEP384:G9Z1QzrU3Jbi6ls4eD7MIbZfg/sp9S7+Zv:w1Qzo3I2s4eD7E/syq9
TLSHT16482A5169530CFADDAFD4DB63E7D2188404405554048E7AB5A0BC35EFE9FEBB22B628C
Key Value
FileName./usr/lib/coq/theories/Reals/Rcomplete.vo
FileSize24647
MD579B595F33606BDC344B79DAD8DECFFF4
SHA-10115C8A2782AA77E307315F6FDF9215216BC2311
SHA-2563EF4BFB28772949043A480A737301469C50C4B3FFD6CB56861D8947F044E034D
SSDEEP384:GC1QzrUZpKjHlGi7LeayDFZIYMdKotxHzoLXgtkhSF6yRqNCRjGP9ExNhZXqCJFJ:H1QzoaDrf7yDFFMdp0MgK+GGP2Df7
TLSHT144B2D806D5389C6E05FD0EB6FE38A14A4046048C9079D74A6E0AC5BEEDDFBEF217468D
Key Value
FileName./usr/lib/coq/tactics/rewrite.cmi
FileSize40732
MD51E2413F4B972AA6AB2E4737070D68EF2
SHA-1015B3420D364F31DFA57526F1157D6EA5290A595
SHA-256C6DA5FECF966DA60029BBDF43BD682E146882B832D30A897617B4E5B55847C18
SSDEEP768:GsCdExi7uqykynGNlzS4PUM/Rs/Br5r6ECC6vvz0rOXIkiNWTc:GsCix9qy1slzS4ckorF6E+n4rdYc
TLSHT1DF031C8C6854F0F501CA949ED188980B6B9093BF2C771DB3822C95F46F9A64EDB52FC3
Key Value
FileName./usr/lib/coq/theories/ZArith/Zsqrt_compat.v
FileSize7686
MD5994187649A9A2C5636507AF2B0145E52
SHA-10169AA4DB212DA02E6148E3279930A4352633A09
SHA-256A3290D05B8F078314AC7A757F168B19F3E840369CD36BD17FD379615EFD4D44C
SSDEEP96:eJcR1iHJS1gr3mYlB6+8G8pHZ/IceVMKOkU7jU6OlJzK51gBSbi0yVljHZ:McfIKgFy+8G8pHZ/IceVMKyalJTsbipf
TLSHT1C1F15F0D2EE04E2880C6FA3EBDD453D27B16F0971221985E708D71BC8F4E56A25F3D6A
Key Value
FileName./usr/lib/coq/theories/Numbers/NatInt/NZAxioms.vo
FileSize135147
MD59EB1840AC3FFC7C5215C2BB6A41F990C
SHA-101D75EEA8955A73EDE68074477594A643A0639AA
SHA-256C7108F197206327D81524BECCB164415D684C33132B009809B0A95D6FD6E0CC0
SSDEEP3072:GsDeflBnJGG+f+UzB68LxHKD75LQjemb7RzhoiDJVFN:GsDwPnJGJjxs75CPocJN
TLSHT1B0D3941877DD6F3E24BA6CADE9A05B6BC581CDCE0315F1C0C21AC2A5DAA13B357B6701