Result for E12D16D0DC26F2EC024D21949BA8E76CB67F4C4B

Query result

Key Value
MD5E4495A4E9631EBE6A6100F91F4A84102
PackageArchaarch64
PackageDescriptionCoq is a proof assistant which: - allows to handle calculus assertions, - check mechanically proofs of these assertions, - helps to find formal proofs, - extracts a certified program from the constructive proof of its formal specification.
PackageMaintainerpterjan <pterjan>
PackageNamecoq
PackageRelease4.mga8
PackageVersion8.11.0
SHA-1E12D16D0DC26F2EC024D21949BA8E76CB67F4C4B
SHA-256F6B816F3E2F504A619EF433968AE2D2FEF2C6B4FD79F145639763F3DDB475E3F
hashlookup:children-total6
hashlookup:trust50

Network graph view

Children (Total: 6)

The searched file hash includes 6 children files known and seen by metalookup. A sample is included below:

Key Value
FileNamecoq-8.11.0.tar.gz
FileSize6555390
MD50AC754DF5D6DB454A349D956E100AFFB
SHA-12C91144DEBEAA370082B6EEB31B8C21B76A9C1B1
SHA-256EEA101EFF5217DBA6D11A8EB13033ED62ACB4EE8A64D5CB15FD142E7FC5DC248
SSDEEP196608:pDMqJv/INXdogxrL1iDRceDJxYHsitQj0x6w:plv/I/nxdCceVmFwk6w
TLSHT1916633ADFAD7069CE33F21A85003840D368E26079F1901E7B2C9121B36AFBDE7577946
Key Value
FileName./usr/share/doc/coq-doc/RecTutorial.pdf
FileSize383983
MD57139C047A66F138FCAD598F4F1F2407C
SHA-10CD8A420BE029C9BB6B01E3429446FC93D64CF9F
SHA-256EB6CB5165734F85EE6867598DF259905A393B59A853A41E13777031A7FBC50A8
SSDEEP6144:P3FBP0KMis0u5+rAxXtR39wAl6a0ML7q+st5FJG14d095sD8T+79Vv9Xw6Faj2Qi:P8risMCdR3WAlAZ5t5FS4KfajveoW7i
TLSHT15C8412F4DB3BB59CC8169820A68D758386DF80F28A828077355E8E81774CD56ECF51FA
Key Value
FileName./usr/share/doc/coq-doc/Tutorial.pdf
FileSize198284
MD51D9562E4C307BD6E283FD449D913139E
SHA-196E6F0760C0B7A085E3D3DD55FA05869A7990E78
SHA-2562215216564582CCB4F80D1A1D6C82C9AB970FA0106F6D6FA00D89618ABFAEBE0
SSDEEP3072:KRXA+hF6agJY7ypYn226wzCixBNz+Jm8nxRkAG5BNsI8kOtAFUkQtYf4IrGpuf76:KRdF6JYCeE/kAWHzGS0tYLrGMf8Lhs4
TLSHT17F1412DC9E1AE80DC4459160EE18664290DA94F58CA988A734DDCA9B7F4DF43FD302FE
Key Value
FileNamecoq.spec
FileSize8971
MD5DF6E53C9FEA5D0B0270A12BAE86F8AEB
SHA-160ECA30EE136691539459D0E4DA336973CD535BD
SHA-256D2A0F9B6D166285BECA1F28DD3CEDC8D9CEB1840AF9373B09664DBEA32A2ADE3
SSDEEP192:0uH6Xg0rnN/6U6rIrfJRbgPDK6lBg/VmzJ4Uc0:0uyrnN/8IrfPgPDK6luVmzJ4l0
TLSHT15902C9B281C8906236AF79E2D5B12211EB7ED17A2EEB5019719F13C4572721CD3BE1B3
Key Value
FileNameUse-the-Alloc_small-macro-from-the-OCaml-runtime.patch
FileSize955
MD5B5801C906B2D3CD5AAA2DC7C95204925
SHA-1B69BDE859C00FFE754D5E5C42E4716F52A6AE88F
SHA-2560229AACC30B2945CA01AAB653225C7291CDC9173FFF811151E01BEFCD59F1101
SSDEEP24:osgzxogzxOQwgzxHgzxu9q1KgiLFDXEWK0nszVjusg5g2y/JFQwgKgy9XO0iLX+Z:oz/tn64gimDYBQJieziy
TLSHT12F11D660FABC4AC3A2E806B131839682550BB235B76A1CF1160499DCF2621CC61B73B4
Key Value
FileName./usr/share/doc/coq-doc/Reference-Manual.pdf
FileSize1704685
MD5CD45ED66C92C41ED81CA5A2684BE4B51
SHA-17A357B4EF56BA1BCB3E166058C97979EB35376F6
SHA-256C4E925E973B3E64B6FA9E70781404C9D49DCCE124014CEC3A01EF109B07F9033
SSDEEP24576:5ExMBKQ5NAyPMXIfhjhlW51QBr+9pX24BHbjB4Dg3q9rrpFxKF6vuWpy:5+WsyEXIZjiMwGiuDkUvRxrpy
TLSHT1E88502DEE73B6418C8518930A70C66E282ED80F1591868B7349D8B8A3B8DD55FF345FE