| Key | Value |
|---|---|
| FileSize | 1930936 |
| MD5 | AD9B0B8ACB9F99E45D585366D4D5C51F |
| 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 coqmktop, 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.2.pl2+dfsg-1ubuntu1 |
| SHA-1 | B7FB82914A3BD60324D82ACC3327259EA7A343F1 |
| SHA-256 | 5095F7BA83D3D057A94ABA155BC6BCD61DB889BCAC46907E0C2D623400B98B03 |
| hashlookup:children-total | 305 |
| hashlookup:trust | 50 |
The searched file hash includes 305 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml-dev/changelog.Debian.gz |
| FileSize | 6482 |
| MD5 | DFCABC03B71EC2D77B98EA7ADB0EA647 |
| SHA-1 | 007D8A20834B7F33E842178A5590F4DAD01F5CA7 |
| SHA-256 | B9CDAD23CECE0D48E9927912894DB7FE4AA87959C3E530B55AE8AE5424BB5E29 |
| SSDEEP | 96:AbzOXOXpXx53hWzmOrt5kRUbQaZaCiHPiPIbims0gWDroefYL68vnFz+NXYT797:xyph5YzmOJqREiHWJm4moa0PFcXYT71 |
| TLSH | T1F7D1AEC3D0E691FF86E779A79A8161C1C8540CD375A8C3D6EE154B161C5D342240BA6F |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/NEWS.Debian.gz |
| FileSize | 269 |
| MD5 | 0ECA063A774B94A35B2709F6E8E4D6AD |
| RDS:package_id | 182052 |
| SHA-1 | 01024660E771DD5236B4AB77DFE0050CD2399988 |
| SHA-256 | B1659BBB950B950046B4C9660BD1BA77AECC2AC75CE8D9172942608DD8A845CE |
| SSDEEP | 6:Xtq1MrzCx26YMHSG51tXgMIdrMzczJzVkVpXV77AFBS4jMNl:X81SN6RSGvttI9Mz2WV5V7Mi13 |
| TLSH | T165D09535760099B79E5DD0F1357CCC4EC512C2098C20F1B1A0A5E013D0E6764D4DF904 |
| insert-timestamp | 1679425887.2617948 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/library/library.cmi |
| FileSize | 3333 |
| MD5 | 873FF3D2AB3C705153CAAE2DC3929660 |
| SHA-1 | 01818CC1768B4D8608E2230A29004B915560024A |
| SHA-256 | D128EC5800032E6AE44EF06FAE8FFEAC7275EF70037A8EF096EAD5065F79486C |
| SSDEEP | 48:She8jGKUFk8/PsmRjPUh6thW2feClVaGX9+s4Y+a6EhVJZlWlmC8/QwcfPgwq6jj:HEGzFkesSPUhf2PHNuMh6mWfPR4//8 |
| TLSH | T15961DBCD570D88C45AEDA59D8112C00B1323DBBFD4278D7762BE14A6846A45EE724E8B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/contrib/extraction/ocaml.cmi |
| FileSize | 763 |
| MD5 | 3917A871F6DBC1EC3A10A4474DE7D881 |
| SHA-1 | 048027674D0076AD1C391928C3F758738DCF7E04 |
| SHA-256 | F7C6918E7F91D78F58CECC6A66D9A8F9D0C461F2CFF1BC1765F938E200570E58 |
| SSDEEP | 12:KAmEq789AMSKWNthie8Ws7yn+lJjSUjtxVAkmbvdEnR6H6iq6CNo+lEmSkc/YltG:bBqBMSKItZ8/ynh+txOH/q6CNo4/S+3G |
| TLSH | T1C20175161F119143EF1775F08388570F32619C55D80A6F43DB65146A0483CC3662BD67 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/contrib/subtac/subtac_cases.cmi |
| FileSize | 1410 |
| MD5 | 357AB4D237154DF17C0A10D05CCB9741 |
| SHA-1 | 0543552E39A648A51E0A74DD1E67FA694DEEC568 |
| SHA-256 | 2559662CED8BED8DB1BC9150FF49200BF18199A1CA936CCCE77D42573CE79D70 |
| SSDEEP | 24:LlIa/w5NoYpVGo5W7anU+qVtVtaLHHuHd/Sus7QInpEHAPcyltln18:LlIa/wQU5W+U+qxtaruHd/ST7QFAUoni |
| TLSH | T1EB21C65B5745F3ABEB2705B8C320350A21A1AC62C4179FB33364228E4A0AC433627E8B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/proofs/proofs.cma |
| FileSize | 111129 |
| MD5 | 581A63C90E6311B2E9DF4473D070832D |
| SHA-1 | 05E3B0CFA6848FCC50094711DB77604DB1F01409 |
| SHA-256 | 4A0173C98164CEDF09B59A7C64BDC15694BA35DA6971BD4E831BAAF5AF60AEB6 |
| SSDEEP | 1536:S6MPteOkSqfZkGmUyilgoVljVvd2OjtXTYle:eteZlgwxd2QT+e |
| TLSH | T1ABB34006B7019EB2C5EB89F2C6D3C7C91369E6668F030A1F354C575C2E83BAF6B45648 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/g_constr.cmi |
| FileSize | 4720 |
| MD5 | 5FD46FD1DF8C51D69694C25D9772F5A5 |
| SHA-1 | 05E9A74EBFFF8EB7DCAF7326ED0D39EA1AB20B1F |
| SHA-256 | 86C83AA31CA9835FE10A63A49E068960794A07CD4DA85ADD080149D37C0EDAB7 |
| SSDEEP | 96:g3vjin7dDHmwyel0o7rfiyIjn4jiCVM+tAjQ5UU/JwU2/2RIwmZn/hgr8:+jin7RGqqoijoVM+Ojkhx2eqao |
| TLSH | T18EA15ECE858CA8D256FAA49DC260804751A18B7FE02B9C77462D09F4E82985DD339FD7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toplevel/vernacexpr.cmi |
| FileSize | 15623 |
| MD5 | E325E94DE1D59EF83EED7437BCC74095 |
| SHA-1 | 06DE25E384DE2029F57B64ED082D9E59B49BDD33 |
| SHA-256 | 416544634D95D7D041ADCB9377278D84898A69EA64074EA2BDC0719309CB0B80 |
| SSDEEP | 384:lTszmogliFtAytDkwEs9N+LB5fHKuihMkDh6IqFo:lTsKogw0ytDfEuELB5C/3DdqFo |
| TLSH | T1E4621DED5404F8F319F6859CE16D90AF171217BFC0A7DCB3021D2AE511A791E8F26A8B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tactics/tacticals.cmi |
| FileSize | 14367 |
| MD5 | 17B882345CD4F142867E220FAFD6A1C2 |
| SHA-1 | 0941FB8F8FA71182428B0EC8519D8B3B8CF82DDA |
| SHA-256 | 73EBD08D9A66746C9CE7CECDADD81A3D2F8602FF3313FD25164597026A971CB8 |
| SSDEEP | 192:gfFagA6NBh3i/tllIS1HRm+ffd36iFmrAvZ1hyR5OOIL8HZ4PwLehea2KQ+:gfFagA6qll3d3bFCA1hI5OOQ8qPbhYKx |
| TLSH | T10152949C8908F5E526EA55AEC19D800F6320433FA0664D7B063E0CF125AB64EDF41FCB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/lib/bstack.cmi |
| FileSize | 770 |
| MD5 | 69BB8AAB76D46FD94B8AB4FA86E8EF64 |
| SHA-1 | 0BD786F70BC01C9D51EB043B05EE5F369A42DEBC |
| SHA-256 | 2B510F04C9EEAE5878A3CE339AA1F89D48C34A208AAD6993E7C56427B1B88119 |
| SSDEEP | 12:a818sO/FehxxJGFU+HNtUZKgILuZmFxbgcFTxaEN3DRUebaSr6ulv8:a8usSe7GFBaxISZ4bdCe+fu18 |
| TLSH | T16F0178DD975958C0C0025FEC8162A6976051293FD4FB8D330A2F94878872A5ED30251F |