| Key | Value |
|---|---|
| FileSize | 3670362 |
| MD5 | F8C47058857B3D6D8B559649D47AA703 |
| 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 | BEB088C3FA80BD5501D84BDD1B37A1E3C2657E8D |
| SHA-256 | 22E5B97A974228C18A1B9F1B04A26658D0572626A8B137BC3BEE964B55BF04C9 |
| 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/lib/lib.a |
| FileSize | 1544586 |
| MD5 | 239C66A7D1DFA1915C8325E1A201663C |
| SHA-1 | 00B790680C469D0E497391F5F1B59DF65F32CF64 |
| SHA-256 | 6900E646B53383C39588D02EC6AA2520834D626BA2BC8F457FE1C9405CFBE978 |
| SSDEEP | 12288:I+r0CUAMa8DgoemhLhAQrq483HajG4kdAUfpg:IG0CIW94kdA2p |
| TLSH | T14C65882AB74F793DCBA8A5F740B1E250B269FC047D40A7A36E1433291E7A5344F7AC58 |
| 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 |