| Key | Value |
|---|---|
| FileSize | 13706552 |
| MD5 | 33D6669991525CCA53E1E0F529B2A059 |
| 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 | 2FFF4B29EA7E21FC5EF4D550D58A339D7F369D3B |
| SHA-256 | B20914994264E407E1BC7D0931F6F69A274773986219A5EEF929DBFE879F10D1 |
| 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/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/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/toplevel.cma |
| FileSize | 310338 |
| MD5 | 4AB058018F0C63770766EFC278440059 |
| SHA-1 | 01EA6A7BA32CBE7399D8F405C32D5A9A5C8BF53F |
| SHA-256 | 871EAC9676709E10BC4952D18D31DB3288E1708ED7CE0361ADB9E5DA38FB42B4 |
| SSDEEP | 6144:l9zCuxfUg8QrH9rH/U0LLncSqsp33QV2Z4iZqZYq72jk:l9zCk/8KH/U0LTcSqsp3AV2Z4iMYq724 |
| TLSH | T15564F68DBB25E732C8D905BACCE6CDC94310596EB5130E7B208D0B2495C3B1FAF55B6A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/csdpcert.cmx |
| FileSize | 1207 |
| MD5 | 1C5B73BC0E36A10AEE173309E6CBA38A |
| SHA-1 | 0213B376C7683888868C1A1649226134AD667527 |
| SHA-256 | D74CFDA02203DF3841C5A925F6A6CDF9EACE76AA6E99473565AE93A5697D58D2 |
| SSDEEP | 24:2vaGEr1ukbE8/wiVEi6vAFTYHg3EUkBKb7DCDbPbg5DTTi6WcReJSADS+:2vLkbHOidMA3EUku7DCDTb8LWcReJSAB |
| TLSH | T1F5214484A50E3DD9E0A6E3BFA992C0E1E4A1D1054976C0F1612E444F3BCB8D526AB30B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/clib/clib.cmxa |
| FileSize | 12399 |
| MD5 | CDAA51197EE2B5BE2BC0F80ED8A8535C |
| SHA-1 | 023360E5892830972948417721535EC19C25FDB8 |
| SHA-256 | DD2E9B1160FA5BCC187D4DB9A52F41947F6AF60A53C4538216BCCC3B51F4FD7E |
| SSDEEP | 192:BD59pSQejk1Bre5lXzNVePqgfnvNeGyYn6r5JxVH0Us5TATent1F7JDqZ:lH7z15sSnthI |
| TLSH | T19342C5A1B31C365D54C6F0F1BF6040BCE20850526A3FC46AD33F4A1A63CEEEA4A65B4D |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/nativelambda.cmx |
| FileSize | 5841 |
| MD5 | 8DF70B77F811F8E2AA77767C5DDEE72A |
| SHA-1 | 0235F9D8E38DA8A5094F867680C1D579661C6849 |
| SHA-256 | 03AA1EC3D29859EC15F148C38C5E84877A191FE1518B6FF082BECCC6C0C83ED0 |
| SSDEEP | 96:+kebRiE6b9zeBHSck0MKMixgH/Fub7aUD2M8k52xnxIliX4B0/Q1J9s7e71gau:1e9W0MKnO27aUDwrn+lioi/Q1JSa71g1 |
| TLSH | T137C1DB6ED741F2D6A188D1F6457F41F04815CAB21E28CCFAD6FB0B5B2E68B48432721B |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/interp/smartlocate.cmx |
| FileSize | 3580 |
| MD5 | 9B11F2989FCE14531F20DE31DA93CEE5 |
| SHA-1 | 02D321419F651CBA4320455510067897B7E8D1F7 |
| SHA-256 | 6E5E74720AFD894D33668308252959288D26873359448C4B0081669E2B57231E |
| SSDEEP | 96:JkH2ngbRkUXMW6b3idzweeHg7Dzv47TqKCz43eonEQM:srqyweSgDk7eKsl |
| TLSH | T14371E866DA41F24398CDE8A9C59F08D0C5690083963ED8AB074F17068568FF93B7A223 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/cooking.cmx |
| FileSize | 4013 |
| MD5 | 976AE658FC49A52DAA3C84F3B57D04F8 |
| SHA-1 | 0300E57C7809DE33F879FBFA2202BA2EC0056505 |
| SHA-256 | E784D287F95E2CC9444DDB592B0B267C66E2A2E9A13697AEA214B7BD8E911A54 |
| SSDEEP | 96:eLGi+ebRik6bjzeBHSc/0TLDdfgN0/Q1J9sKWOqrFGayR:ewe9F0nx1/Q1JSoqrsVR |
| TLSH | T146819399E782F0BF8384E3BB4E488154E999C8833EADCC72577A2727649CA01213714F |