| Key | Value |
|---|---|
| FileSize | 3734144 |
| MD5 | CABFACAD62E117E62CA4E5EBE8FD27EC |
| 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.4pl4dfsg-3build2 |
| SHA-1 | BF10C6DC48BD435101920A6D72551DE141A71344 |
| SHA-256 | 6DFE68E666A2A6261EA06470FB311F1413F6E939423C5C6149E9AF68BF9E34CC |
| hashlookup:children-total | 410 |
| hashlookup:trust | 50 |
The searched file hash includes 410 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toplevel/toplevel.cmi |
| FileSize | 2806 |
| MD5 | 4E119E0B1F96E98986B838E2F91CCA69 |
| SHA-1 | 00E42FD28360238EF8110FCD98EEB0F5D7600BEE |
| SHA-256 | DAC5E79C26DEE816885748EC1F19EA19A0BA084606E68A4865A3D785485C6DC2 |
| SSDEEP | 48:7gPKEBRUcO9jb860h6gxFekRVScZWc7Zmbw36kDmN7yAEyAs8ptAmnSbd4CZSAvV:2KcUcO9vuuYm4ZQEJDm4gS/nkTZSAv88 |
| TLSH | T15A51E8ACB278317914D7E48E80245032989053E740B3C97F82F20396B96C88DE72795B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/xml/proofTree2Xml.cmi |
| FileSize | 3802 |
| MD5 | 22E17F919EBC6ACDFB5FB4E91CE3E0CB |
| SHA-1 | 029E67329EB2D2B56FF5A1C7CEADB0A7600E538E |
| SHA-256 | C0E7E9EB2D78392051C51199BBD07F10891B1F3A9211D98FF44DA3635F890DAB |
| SSDEEP | 96:DWPK5MCHM5Fdvm7oMPYctZ1EJDk6E6L6w0pIAaP8:R59s5Fdvm86wJZ0eU |
| TLSH | T198710BCC7218786555E7D0EFC01094B1889093FF85B79D77D27D16D4455C44EC793A47 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toplevel/autoinstance.cmi |
| FileSize | 2137 |
| MD5 | FAC2191F3C8CDA4E4EE7362BEB8038C8 |
| SHA-1 | 02BE3658FE7E61B0BDE68D89704FEEC769A21F76 |
| SHA-256 | 704ED6E11C0CBD6BBC232BFE3A43956998F1EDC180D8FA9E4B4CF040CF167235 |
| SSDEEP | 48:AyboysjLgcKtVVk5GH+r2QHeb1B2NNRVWcZYZmww36kDmNu4uAs8ptWFbDySAvui:lkPbAVk58Jbk9sZ1EJDmIJSNSAv88 |
| TLSH | T1F441C79877A830BE259680AFC05461B7C852A7B6C0B7CC7B90AD06C9895E58EE74394F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/utils/okey.cmi |
| FileSize | 4087 |
| MD5 | D23C425CD3807D9F65FB7580B64C2E34 |
| RDS:package_id | 182052 |
| SHA-1 | 02BE8B6D1162863CDCF55E26EC8CAA9186EADB4B |
| SHA-256 | F49F6EFA7FE4026C2D5893779E3236F388E34F6207E3846B0B344F070BDEA0A7 |
| SSDEEP | 96:xgk+j7Fg8qhGa+9YsvX6Qc01h6N4m+qtMksw0AV8:7ig8qhGD9YsvKQc0/6NIZkSb |
| TLSH | T1F6816FDE96B1F0D851C9B9ADC25CCE4B0018933FC0AB1E37976B995037A484EC35B88B |
| insert-timestamp | 1679423558.9972997 |
| source | RDS.db |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/merge.cmi |
| FileSize | 22343 |
| MD5 | 7250988ABDB7BA3AF55EB8178F568652 |
| SHA-1 | 02F1058979C379BEA17D217D5F5F64DE75A4761A |
| SHA-256 | 6AADCB7E6213E819CCF9ED678DD381D388DE8D265CE3393D2826D798BD9DAF02 |
| SSDEEP | 384:6qz+A9tNEPqWeex+3BUbI31tf8V9kMpDsmZTOe6gN/oxZNxJOx:L+A9tNGqWrx+3WeMpImUeRN/Ixs |
| TLSH | T1D0A2C75C48A8F4F441CED96FD14C984F6B1186BF68774D77822D09B16AAF40DCB2AAC3 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/polynomial.cmi |
| FileSize | 16652 |
| MD5 | C666B5E84807F5013386940492C2F378 |
| SHA-1 | 057B3DC22E056431FF2CE92CA8003E88192B40B9 |
| SHA-256 | 31AB4BA0592A1720649223A0DC866B90FFA340A4E64975B22BD3635414293F53 |
| SSDEEP | 384:TOgRyDZNv8qz2MfEerHIAIaPx9T/+okckH6uDbTM:Kg0DzB2uEerSaPH6ckH6uw |
| TLSH | T14D72958D98A0F8B954DF9D6FC14C985F2B118A7F587B0C3B462908E067AF04DDF12A87 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/interp/coqlib.cmi |
| FileSize | 7329 |
| MD5 | C985EACCA18F46E70A207D031D07DD7A |
| SHA-1 | 0596CE7CBC54B7A95FC4CD0799A918224163A592 |
| SHA-256 | 0E0728170313A80490529F8D19AB28D1FAF22C6DBCEDB625EFE4EB1851B72BE4 |
| SSDEEP | 96:1Ik2b48eqI42gPnaZw7KuCMya2KOvvoIgeOTnb1VFOyk9yXZ1EJDmIJSgSA78:PABRI42gyPiZ5IefDbXFOzLJoH |
| TLSH | T172E1E9EC8C28A0E1648D2C9CD1588EB7E765AF7E4CB30D3B025D04E551AF95DE323A87 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/preferences.cmi |
| FileSize | 3249 |
| MD5 | CED00D2E3A9A31D3945DCDEFD6B13A77 |
| SHA-1 | 0634F164CBFD6E7DFFEBFB6A3C93CE460307710F |
| SHA-256 | DD643942C61FBB6C1FD33A3BB56305E591CE45D0F008ADAE832F2FD2732B11BA |
| SSDEEP | 96:ObblVQA1rym7GegKudKQg4/yOqyLneUjHtXlVnvR8:nAr79oKQB/rLfNVJvW |
| TLSH | T1086141CD85310894A18E7CFC5630670B921076BE0D7BEDBB05EA600475CEAAE87BB053 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/rtauto/g_rtauto.cmi |
| FileSize | 2762 |
| MD5 | AF0E0FD94F1406FB3FCA55FBB13C7F77 |
| SHA-1 | 063A91CC59E8B0D7744F6EEFFFBDD5298AF7A9ED |
| SHA-256 | B62C8E53F5EEE311257A766379297A43A16DEC612FAC98B44B4C84CEA9ABD2E3 |
| SSDEEP | 48:VtElH1u6gCSegekR7IrCVccZWc7ZmGww36kDC/N7zAEyAOH8po05mnSbdiZIAvui:VtElWCT/mcwk4ZEEJDYVgn0onkiZIAvV |
| TLSH | T1E0510788F38939BA55F3C197D12440B1CC85D7C38293C06F23FA0795AA6D886EB83F08 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/pretyping/typing.cmi |
| FileSize | 2452 |
| MD5 | AD54076BE9EF8294C0951F4144493FB8 |
| SHA-1 | 065EED72D454995C442BFC18269E1556EDF9642F |
| SHA-256 | D543ECFAA3E74277D2A8EE646D746004079ABD7187867E3E689B651ADE73D026 |
| SSDEEP | 48:GcVKbbpOFYdlsbii+K6lbCPRVWcZDZmFHDmN4uAs8ptWFaySAp18:GcVKXpxwbiiFz3ZUDmzSgSA78 |
| TLSH | T13351B5EC651424FA519584AE81A414679498637ECD3F6C3F446D19F0B9ED09EE333CCB |