Key | Value |
---|---|
MD5 | E4495A4E9631EBE6A6100F91F4A84102 |
PackageArch | aarch64 |
PackageDescription | Coq 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. |
PackageMaintainer | pterjan <pterjan> |
PackageName | coq |
PackageRelease | 4.mga8 |
PackageVersion | 8.11.0 |
SHA-1 | E12D16D0DC26F2EC024D21949BA8E76CB67F4C4B |
SHA-256 | F6B816F3E2F504A619EF433968AE2D2FEF2C6B4FD79F145639763F3DDB475E3F |
hashlookup:children-total | 6 |
hashlookup:trust | 50 |
The searched file hash includes 6 children files known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileName | coq-8.11.0.tar.gz |
FileSize | 6555390 |
MD5 | 0AC754DF5D6DB454A349D956E100AFFB |
SHA-1 | 2C91144DEBEAA370082B6EEB31B8C21B76A9C1B1 |
SHA-256 | EEA101EFF5217DBA6D11A8EB13033ED62ACB4EE8A64D5CB15FD142E7FC5DC248 |
SSDEEP | 196608:pDMqJv/INXdogxrL1iDRceDJxYHsitQj0x6w:plv/I/nxdCceVmFwk6w |
TLSH | T1916633ADFAD7069CE33F21A85003840D368E26079F1901E7B2C9121B36AFBDE7577946 |
Key | Value |
---|---|
FileName | ./usr/share/doc/coq-doc/RecTutorial.pdf |
FileSize | 383983 |
MD5 | 7139C047A66F138FCAD598F4F1F2407C |
SHA-1 | 0CD8A420BE029C9BB6B01E3429446FC93D64CF9F |
SHA-256 | EB6CB5165734F85EE6867598DF259905A393B59A853A41E13777031A7FBC50A8 |
SSDEEP | 6144:P3FBP0KMis0u5+rAxXtR39wAl6a0ML7q+st5FJG14d095sD8T+79Vv9Xw6Faj2Qi:P8risMCdR3WAlAZ5t5FS4KfajveoW7i |
TLSH | T15C8412F4DB3BB59CC8169820A68D758386DF80F28A828077355E8E81774CD56ECF51FA |
Key | Value |
---|---|
FileName | ./usr/share/doc/coq-doc/Tutorial.pdf |
FileSize | 198284 |
MD5 | 1D9562E4C307BD6E283FD449D913139E |
SHA-1 | 96E6F0760C0B7A085E3D3DD55FA05869A7990E78 |
SHA-256 | 2215216564582CCB4F80D1A1D6C82C9AB970FA0106F6D6FA00D89618ABFAEBE0 |
SSDEEP | 3072:KRXA+hF6agJY7ypYn226wzCixBNz+Jm8nxRkAG5BNsI8kOtAFUkQtYf4IrGpuf76:KRdF6JYCeE/kAWHzGS0tYLrGMf8Lhs4 |
TLSH | T17F1412DC9E1AE80DC4459160EE18664290DA94F58CA988A734DDCA9B7F4DF43FD302FE |
Key | Value |
---|---|
FileName | coq.spec |
FileSize | 8971 |
MD5 | DF6E53C9FEA5D0B0270A12BAE86F8AEB |
SHA-1 | 60ECA30EE136691539459D0E4DA336973CD535BD |
SHA-256 | D2A0F9B6D166285BECA1F28DD3CEDC8D9CEB1840AF9373B09664DBEA32A2ADE3 |
SSDEEP | 192:0uH6Xg0rnN/6U6rIrfJRbgPDK6lBg/VmzJ4Uc0:0uyrnN/8IrfPgPDK6luVmzJ4l0 |
TLSH | T15902C9B281C8906236AF79E2D5B12211EB7ED17A2EEB5019719F13C4572721CD3BE1B3 |
Key | Value |
---|---|
FileName | Use-the-Alloc_small-macro-from-the-OCaml-runtime.patch |
FileSize | 955 |
MD5 | B5801C906B2D3CD5AAA2DC7C95204925 |
SHA-1 | B69BDE859C00FFE754D5E5C42E4716F52A6AE88F |
SHA-256 | 0229AACC30B2945CA01AAB653225C7291CDC9173FFF811151E01BEFCD59F1101 |
SSDEEP | 24:osgzxogzxOQwgzxHgzxu9q1KgiLFDXEWK0nszVjusg5g2y/JFQwgKgy9XO0iLX+Z:oz/tn64gimDYBQJieziy |
TLSH | T12F11D660FABC4AC3A2E806B131839682550BB235B76A1CF1160499DCF2621CC61B73B4 |
Key | Value |
---|---|
FileName | ./usr/share/doc/coq-doc/Reference-Manual.pdf |
FileSize | 1704685 |
MD5 | CD45ED66C92C41ED81CA5A2684BE4B51 |
SHA-1 | 7A357B4EF56BA1BCB3E166058C97979EB35376F6 |
SHA-256 | C4E925E973B3E64B6FA9E70781404C9D49DCCE124014CEC3A01EF109B07F9033 |
SSDEEP | 24576:5ExMBKQ5NAyPMXIfhjhlW51QBr+9pX24BHbjB4Dg3q9rrpFxKF6vuWpy:5+WsyEXIZjiMwGiuDkUvRxrpy |
TLSH | T1E88502DEE73B6418C8518930A70C66E282ED80F1591868B7349D8B8A3B8DD55FF345FE |