| Key | Value |
|---|---|
| FileSize | 14356708 |
| MD5 | 021A03EE70D4DFC0226E72449959409E |
| PackageDescription | development libraries and tools for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides and libraries needed to develop OCaml-side extensions to Coq. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.9.1-1 |
| SHA-1 | 9FAB0E68EB5F240D833B8C09900D813CF7BA7FCF |
| SHA-256 | 83C16B1FCBE09EF656BCEDA0CBD6C7183CBA31A1CD2B31C0683E4AADDCB53650 |
| hashlookup:children-total | 937 |
| hashlookup:trust | 50 |
The searched file hash includes 937 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/clib/cSet.cmi |
| FileSize | 4572 |
| MD5 | 08B0520A67C146F952663E6C165BB421 |
| SHA-1 | 002A321D9FD5C88F2B35E9995E3352D14C2953DE |
| SHA-256 | 34B8B4285010F633B344FBDABE61379F4F18FB3257715ABE0E5158E51984B024 |
| SSDEEP | 96:DAnqpgjiUb3cGtsTZ5dNtOnSMuZ/7fjpz0TMIIylPYvbAU8:D9pglbs/TpNj/7VWPlPYsd |
| TLSH | T10F9150ED9424F05812EDACBCE25ED9D701480A7F95734C776B491E52A7BE01EC31E0AB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/pretyping/recordops.cmx |
| FileSize | 5882 |
| MD5 | 7099950405846EA19EA31F59DD83ECA6 |
| SHA-1 | 00705665A8EBA1C349C9CBEFC4DD6EE60D6CB1BF |
| SHA-256 | 9E02CCD759A1331A15E8FCE2CA59D9D0AC8F0820667E9B3A9A67AB9B03C21817 |
| SSDEEP | 96:gi+H2ngwDUfRmXMM6bVWzorVbSHSACDzS401qDNvkBaTnMVjpHVSYZQu81hnXiRl:cQj8mCb26Df0kD1keMN13Qu81xXivAwf |
| TLSH | T19DC1B676631DF086B4CD8DB3E16A00A05E2CC7C17B29893E766547EB4DEA7563323247 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/coqpp/coqpp_parse.cmi |
| FileSize | 1258 |
| MD5 | D6911BD4240A547ADF7B80C1C40C0702 |
| SHA-1 | 00EDD65D2184519666DED458162BC6ECAABABCFE |
| SHA-256 | 5585D4F09AE3D566B4C182B7BD247E2E8E9A4C312814BD6D40BE763E00F536AB |
| SSDEEP | 24:XqmwVcRtT2KZtuvpjg/xts8IQTcZi03lMqQpWbmC/kG18:No7QtKpMwNUco0VMFWb9kG18 |
| TLSH | T1EA213088E2551031E94F67FDB17A1C1B8554C8AE161BCED3A22844CA30CE65EAF9F0CF |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toplevel/coqargs.cmx |
| FileSize | 7847 |
| MD5 | D95ADA56B8A8202677589AA4469D317F |
| SHA-1 | 01248CD75E2CB62BDEE4AB8CC9030F3AE1FDCDCD |
| SHA-256 | EA854F0CA0BE5CE7F34595F49F4E9AB8CD043843A7981252EDC845E42713580E |
| SSDEEP | 96:oabl2VgjRl7AjdNjpFbEOcdryQmrAU7Bf6oszDvvVS4RWDeqKWkzlO2QWP1jJUrW:7dALPdQnUFyoQDdRWJK9Zf9O3UeT0 |
| TLSH | T1B1F1E779E722F197C4C2D27F91B36070C8A4B0867722D879A736079E72E4D4A975B307 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/library/states.cmx |
| FileSize | 2275 |
| MD5 | FA3FA3883703DD3A5B9CCAFCE44F49B3 |
| SHA-1 | 012A698C72FFA2AB6DD1D0E60B1F1624D631009C |
| SHA-256 | 8B24AD8206F84AFF43C693090FEFBECAD40C246B65EAC66D7C8EB0F6302CA47F |
| SSDEEP | 48:bjGMW6bSczmrCvkb9KgSYdLOeFdLJlY46aotkZY8z0h:bjGMW6bJzmrVb9HSYRlnLMvn/ |
| TLSH | T1A141B673DF45BA27DDD1E1F1C65D08B48C56C4423C3BA826D286870791B7EC2691E256 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/proofs/pfedit.cmx |
| FileSize | 5331 |
| MD5 | 323C91B2940FA172761A14A5E24DFCF2 |
| SHA-1 | 017DE72B20E8A8D1CDF9E637A912A82918034677 |
| SHA-256 | 486FEE00A855DB1DDCC0D34B4262D37508E0109165D01B5029109010494AFAA9 |
| SSDEEP | 96:CwkH2ngbRmXMVPHpqbZdgPwxWzpDzv45TqKD2sWjdi7S7B+TZ6n59Z0LU:W66P7PwxW1Dk5eKD2/Ri7S9+Ud2U |
| TLSH | T1C2B1D7F76312B027C4CA54BB8BAB4568482889534E61CC7EBE170B02DEE4991767F717 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/omega/omega_plugin.cmx |
| FileSize | 24788 |
| MD5 | 45A13BEDEB7118471CA4C619C901F1CC |
| SHA-1 | 01859A8CE6379FCEE2284C533285F420A1A002B1 |
| SHA-256 | 26E812E1001AA4B30709A465CB8F781656C1D2B3F35F42FA4D7F1049669E6F8B |
| SSDEEP | 384:NNf7fclCtMdyvxXqDM6YdKUqafBgafBzdco5BEr6cmzY5uya98jiyZuwbhs1aT0:NelJgv8DQKUqa5ga5DBeUYE144aT0 |
| TLSH | T149B27649030F2C0589F5E879C56FA2F64E3CC3860BB1EA7F56E807067C586A5A1FF616 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/persistent_cache.cmx |
| FileSize | 1133 |
| MD5 | 029717B71ED3749467A9D111B9B0BBD0 |
| SHA-1 | 019C1DE03D364324EC4871E0F36490E9E2236B9D |
| SHA-256 | 26E81CA2AC14AC6DD671F1B5CE4DFBB183E8A7C2CEE3E5DAD9CAB449A7FCD05E |
| SSDEEP | 24:w3NTzObNMCnE53qrSyTir4Yz2k00Bx/5TVlqaLGgNkyX60yiXZyST:ocbNI3USVr4WB3HL71XT |
| TLSH | T11521CB54830DFE2A40F2D59ADA4C9BB19AD84ACB0FD584B1017E1A4B3E80C9592D732E |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/pretyping/inferCumulativity.cmi |
| FileSize | 1863 |
| MD5 | 8951CFA1BEFA12659CEAA193FAC702BA |
| SHA-1 | 019E8F599153485EB380FBC3FDAAC85AF308250E |
| SHA-256 | A0ECAC699A86816426C5B76D4D93BAAAF9518BA1A0F157C295013272DC0F74D5 |
| SSDEEP | 24:ufczlXyQTlXytyW4dUEb6KkNgsxMBt+9n6bDiIlt5emjKgSKtv5kERTEirdoY/9G:NXjUkerMS9n6bjzekKgSB0rFlEKH18 |
| TLSH | T1A231F79EB681364744C2B1F313AC04A6006909E31C3BC4EEAB46274A43F8BE37B26197 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toplevel/coqargs.cmi |
| FileSize | 6086 |
| MD5 | 8BAA4F84F864E75AD8C0030A875E80F8 |
| SHA-1 | 02672DB28377853F3053CEA35DB1FAFCE5D982F2 |
| SHA-256 | 12FD7B34F501C52CBAEF8E194D4528C09A65DD9A538969DCE6401446521878CE |
| SSDEEP | 96:7xMGmjyDxu/8De9vASNLwEMwYSkMR2Vg3Rj7AMTHpFbEjdryQmrAk7W76sjDzvVp:SGmjyFuwe9ZjFdvA+LQnki76eDWKRKy |
| TLSH | T174C1E5EEEBA16412548B7CFE81A408B3412802BF4623CCB76256164775DEDAFDB2F107 |