| Key | Value |
|---|---|
| MD5 | 360F43C1E84743A0F500DDFE046DF5F5 |
| PackageArch | i586 |
| 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 | 3.mga9 |
| PackageVersion | 8.13.2 |
| SHA-1 | 63A915CF36475FB9071593AFE9DA9EEE23827FAE |
| SHA-256 | 924B046827FA94D9CA358F3CC5243EBABFFD88AA6FD2E493004C86BA0097A3CF |
| hashlookup:children-total | 5732 |
| hashlookup:trust | 50 |
The searched file hash includes 5732 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/theories/Reals/Rlimit.vo |
| FileSize | 69036 |
| MD5 | 72A12F44FD63BC9FF7EF90E8CD56EA04 |
| SHA-1 | 0002CCE6F6BC5E051BF3BA6F9E0BE4402EB6365A |
| SHA-256 | 5305F8DC1894BE66D4E58560F696C3E41AE413AC0A8A43D31EEC96A81E2F8704 |
| SSDEEP | 1536:FdNbLRTUyHjGlYtBhK3f49577O/UPqzhz9gmED2DZwbfmBgPSM5RBX5:FdNxTVjTFK3f49Pqz19gtDNb1SsBX5 |
| TLSH | T105630845E112A7B0D8FEDE74DB3860D054030C4FA37A4759AA38816CDA8F7DB2E76687 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/user-contrib/Ltac2/.coq-native/NLtac2_List.cmx |
| FileSize | 2284 |
| MD5 | 4DDFF80CDE7B5D0340A8506376D0797A |
| SHA-1 | 0008432FB1EEADBF4A77B390E93F43774E9418C8 |
| SHA-256 | 96AEE0CAAC8D7CE651DFA546B2B5D3E4DBB8B7EC9A94B23BA488D50DDFDD8B45 |
| SSDEEP | 48:n0OBLCKuUngiFP7TSF3BeSW8CAnJPb/l50C+wbp6UZ5RRbf20Qhp:n0A+KukgEDq3BFW8CAnJPbN50xs1RRqL |
| TLSH | T1C14119AE72C4740D317142E27E8D002B06352622DDA18CBC57C9678C4178E7E62DC41F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/theories/Arith/EqNat.vo |
| FileSize | 16845 |
| MD5 | 433116074CABBD91331165BAF808C7BC |
| SHA-1 | 00198D1CAD4011DADA59523E6EDB6E0EF405583A |
| SHA-256 | E2FFBB09086EB4454A3B0528BEA10EA56C3AA8080C78AC3D4ABFCF4EF4977459 |
| SSDEEP | 384:SdiaCJc53M8RUzl6CZxhBvuK3fmbe517PqZSUMYQV/NYI:SdxC+5RJCZxhVuK3fmbGhASjYI |
| TLSH | T16672A245A652C281ECF28AB087387148125A8D87A35E2B5D5634832CDF4F7CF3AB53D7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZLt.cmxs |
| FileSize | 16764 |
| MD5 | 8BBFF02583EA162F9C65CA2AC269DF4A |
| SHA-1 | 00219D06E0D0BE05A4D2B7302E43424ED8D655DA |
| SHA-256 | 1BD9049E333715691C6A37A90873AF711B32697C703F7CF7D61DCFD77DD265F0 |
| SSDEEP | 96:6HNqBWBXg3Grt2T9+sNP89FLo+jXA+KukgEDq3BFW8CAnJPbN50x71RRqfu2zZ7p:j8G+eP8JkgED+CQb/c3gHqH |
| TLSH | T1AE72294B73E9D436F0210AF8949F026B11B9F550A7F1467B93451B041EAA77CB2FC90B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zorder.cmx |
| FileSize | 3929 |
| MD5 | B260E4204AE49F71B95DFD8B3A8B95EE |
| SHA-1 | 005740F6FCC707258FAE5C4FDD36323035D52E96 |
| SHA-256 | EAD4993613E6DEB1A91EA682CA2C0EF21B7FEFD80BD514943781D27F3CA3400A |
| SSDEEP | 96:n4A+KukgEDq3BFW8CAnJPbN50xA7qd834Tgb1RRqZrDna1XtZNyw6b5:nikgED+CQb/cA7qd834TggZrDnaLZwwm |
| TLSH | T1DD81E8A521B590073F1380E25FAC04D304F2291CDB565DB85B857B4CDD74E1DA3EB11B |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/tactics/hipattern.cmi |
| FileSize | 10138 |
| MD5 | 23DD4926E89178218D9E66AAA54E43CA |
| SHA-1 | 00601AB8D4BD7F60B90B43FBFFE84CEA76C6BFD3 |
| SHA-256 | 0B11BDC5DED0B51BE8719B535F156014327727D4EE6E2FDC5E17B55FCA1B86B0 |
| SSDEEP | 192:CdaKG9K3g4TE2ORA/iHxjMInqKmA09t4kgED0Cv/gENgk:UaKG9/VA6NMmmAO4c/gEqk |
| TLSH | T1412241AE37A3A90DEDC555DC47BE06A723111F7EE1E99CB7D08903D061A902C27BE147 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/theories/Numbers/Natural/Peano/NPeano.vo |
| FileSize | 216301 |
| MD5 | D8525D40B4A3BE5CC2F5DCFB096369E0 |
| SHA-1 | 0063D60F6CD8CB5CB664C3924D53433216AA887F |
| SHA-256 | 6B083298DE50D54214BE8A12C5B72C05F9CEF9FCBC013BEF7E26076A9D482398 |
| SSDEEP | 6144:9mxFXvNZomU98gea5i/aVv59T5DNK/1dYu:ifc8U4aVPT5NNu |
| TLSH | T12D240706B7914963EC9485FAF399F126E4E08587217FC669DD9CD008EB6EDC7108E3CA |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/tactics/ppred.cmx |
| FileSize | 3830 |
| MD5 | 440A1FDCFAECE04F6E27F3DA5332248A |
| SHA-1 | 0082F599BDD56A40F0935E25E93BC71606E2D98B |
| SHA-256 | 6AD3F774AE6B1B296F17D75DFB7B67F6A6C9B4AA674A2C548B87E731E4B0838F |
| SSDEEP | 96:DxzBAytr31+tkgEDQ3BFW8CAnwH4vLC4BphExBMcqFPQfT9zM:Dxbt4kgED0CvQmiphEzMvFP2T9M |
| TLSH | T1AE810BBDF3A07806B4A1C173BC9A223794B2111289A34CFC66CF51C95574B79A3CE50F |
| Key | Value |
|---|---|
| FileName | usr/lib/ocaml/coq/theories/Logic/Classical.glob |
| FileSize | 154 |
| MD5 | 9DA2A7777B2B11FF7D1428A90880F666 |
| SHA-1 | 00884F2F040235006CA1A9A5BFE9A60C81A1C174 |
| SHA-256 | F96E319C26FC91B9A59F7BFD857DA9395F0D86C6CAD3D771F61A7D0851E34834 |
| SSDEEP | 3:JnDTdhnXNUKXXdJfGSJEWWkhSaXfGSJEWWkMenFZknDUpGSJEWWkM6mbgP:FTLn9UWdJfGSJVvGSJUeFanDGGSJU6mA |
| TLSH | T1DEC04C26890525F43A9319715D8113F06371718DAE55DA51A46E990E06C489CB924BAE |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveLUB.cmi |
| FileSize | 9180 |
| MD5 | D009F9D81024954209E4B1A3D958B0F5 |
| SHA-1 | 008D709867EB3870A4DA634AD76B73D07C1A2734 |
| SHA-256 | 835E3427893F53AAE80D5A8AC2A3D4DEDAB0B8F8B59FAEB856D847579F7E3AD3 |
| SSDEEP | 192:1wqdWdVlx8L9lov1jP6xq1ISwkgED+CQb/cKw7snd83BTzgk:GO2VkL7opKq11wtb/cKwYnd8xgk |
| TLSH | T1B212568F6770A58CEE8744FD57ACD1AF0250A67E92DE4CB7EF0A46F4C21124D23AA113 |