| Server IP : 185.11.201.71 / Your IP : 192.168.7.18 Web Server : Apache/2.4.29 (Ubuntu) System : Linux tech-virtual-machine 4.15.0-213-generic #224-Ubuntu SMP Mon Jun 19 13:30:12 UTC 2023 x86_64 User : tech ( 1000) PHP Version : 7.4.28 Disable Function : pcntl_alarm,pcntl_fork,pcntl_waitpid,pcntl_wait,pcntl_wifexited,pcntl_wifstopped,pcntl_wifsignaled,pcntl_wifcontinued,pcntl_wexitstatus,pcntl_wtermsig,pcntl_wstopsig,pcntl_signal,pcntl_signal_get_handler,pcntl_signal_dispatch,pcntl_get_last_error,pcntl_strerror,pcntl_sigprocmask,pcntl_sigwaitinfo,pcntl_sigtimedwait,pcntl_exec,pcntl_getpriority,pcntl_setpriority,pcntl_async_signals,pcntl_unshare, MySQL : OFF | cURL : OFF | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : ON Directory : /usr/share/lintian/checks/ |
Upload File : |
Check-Script: ocaml Author: Stephane Glondu <steph@glondu.net> Abbrev: ocaml Type: binary Info: This looks for common mistakes in OCaml binary packages. Needs-Info: ar-info, unpacked Tag: ocaml-dangling-cmxa Severity: serious Certainty: certain Info: This package provides a <tt>.cmxa</tt> library without its implementation (<tt>.a</tt> static library). Tag: ocaml-dangling-cmx Severity: serious Certainty: certain Info: This package provides a <tt>.cmx</tt> module without its implementation (<tt>.o</tt> object file which may be embedded in a <tt>.a</tt> static library installed in the same directory). Tag: ocaml-dangling-cmxs Severity: normal Certainty: possible Info: This package seems to be a library package, and provides a native plugin (<tt>.cmxs</tt>). If the plugin is meant to be used as a library for other plugins, it should be shipped as bytecode (<tt>.cma</tt> or <tt>.cmo</tt>) as well. Tag: ocaml-dev-file-not-in-usr-lib-ocaml Severity: pedantic Certainty: possible Info: This development package installs OCaml development files (<tt>.cmi</tt>, <tt>.cmx</tt> or <tt>.cmxa</tt>) outside <tt>/usr/lib/ocaml</tt>. Such files are used only by compilation and should be in a subdirectory of OCaml standard library path. Tag: ocaml-stray-cmo Severity: minor Certainty: wild-guess Info: This package installs a <tt>.cma</tt> file and a <tt>.cmo</tt> file with the same base name. Most of the time, the module provided by the <tt>.cmo</tt> file is also linked in the <tt>.cma</tt> file, so the <tt>.cmo</tt> file is useless. Tag: ocaml-dangling-cmi Severity: wishlist Certainty: possible Info: This package installs a compiled interface (<tt>.cmi</tt>) without its text version (<tt>.mli</tt>). The text version should also be installed for documentation purpose. If the module involved doesn't have a <tt>.mli</tt>, its source code (<tt>.ml</tt>) should be installed instead. Tag: ocaml-dev-file-in-nondev-package Severity: pedantic Certainty: possible Info: This package doesn't appear to be a development package, but installs OCaml development files (<tt>.cmi</tt>, <tt>.cmx</tt> or <tt>.cmxa</tt>). These files should be moved to a development package. Tag: ocaml-meta-without-suggesting-findlib Severity: pedantic Certainty: certain Info: This development package installs a META file but doesn't depend on ocaml-findlib. Libraries with META file are easier to use with findlib. The package should at least suggest ocaml-findlib.