| Key | Value |
|---|---|
| MD5 | B886D9ABBF13DBDAFB48C94CE57713BD |
| 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 | tv <tv> |
| PackageName | coq |
| PackageRelease | 1.mga7 |
| PackageVersion | 8.7.1 |
| SHA-1 | 9E62DF233E1AB3818A91AD80D9FE60C9547CE26B |
| SHA-256 | E9F8F38BDEEDAC9C39FBADC941A9D704238AF7B7BE75A8C4931ABE256F4AA16E |
| hashlookup:children-total | 5 |
| hashlookup:trust | 50 |
The searched file hash includes 5 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | coq.spec |
| FileSize | 7269 |
| MD5 | 1DB6538B0F64CA72475514F308EE8A74 |
| SHA-1 | 70F9CF98CBF2CAB27DFB13E5476CD1109EA790C6 |
| SHA-256 | 8FC1772A95DA56AED98BDDA992DD2ACE2BEFE6D8EE5E4C37C101552946488C4E |
| SSDEEP | 192:lghu64OsXgKnN/XUrZrfJV6lBg/VmzJ4Uc0:gunnN/grfH6luVmzJ4l0 |
| TLSH | T12DE1EAB341C8902375AE69E2D4F12212EB7FD17A2BE7100A31AE17C05767518D3BB1B3 |
| Key | Value |
|---|---|
| FileName | coq-8.7.1.tar.gz |
| FileSize | 5671130 |
| MD5 | 15347F45471E2D5277C60585297CD3E0 |
| SHA-1 | EA4C4BBED3DC1A5550BBB7E2923ED751F9AD2BE6 |
| SHA-256 | D381B38522CEE0E73804EE3A763648F602EDA942312C18D333F9567C56DBFD03 |
| SSDEEP | 98304:j8/SnQkUNWYp39P5tGfS68cyeiqwDG3Ll7SGrDWyOIb0d8wsUPjJ7qeuU:j5n5Yp39P5Qjz3wC3RjrKyOlBB |
| TLSH | T1A04633C4FDF741D222AAD06F615E139D3E69A0A9D752D91F2F0BA885E30C7243399F48 |
| 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 | ./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 |