/var/lib/ocaml/lintian/libcoq-ocaml-dev.info is in libcoq-ocaml-dev 8.6-4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 | Package: libcoq-ocaml-dev
Runtime: libcoq-ocaml
Version: 8.6-4
File: debian/libcoq-ocaml-dev/usr/lib/coq/engine/engine.cma
Force custom: no
Extra C object files:
Extra C options:
File: debian/libcoq-ocaml-dev/usr/lib/coq/grammar/grammar.cma
Force custom: no
Extra C object files:
Extra C options:
File: debian/libcoq-ocaml-dev/usr/lib/coq/ide/ide.cma
Force custom: no
Extra C object files:
Extra C options:
File: debian/libcoq-ocaml-dev/usr/lib/coq/interp/interp.cma
Force custom: no
Extra C object files:
Extra C options:
File: debian/libcoq-ocaml-dev/usr/lib/coq/kernel/kernel.cma
Force custom: no
Extra C object files:
Extra C options:
File: debian/libcoq-ocaml-dev/usr/lib/coq/lib/clib.cma
Force custom: no
Extra C object files:
Extra C options:
File: debian/libcoq-ocaml-dev/usr/lib/coq/lib/lib.cma
Force custom: no
Extra C object files:
Extra C options:
File: debian/libcoq-ocaml-dev/usr/lib/coq/library/library.cma
Force custom: no
Extra C object files:
Extra C options:
File: debian/libcoq-ocaml-dev/usr/lib/coq/ltac/ltac.cma
Force custom: no
Extra C object files:
Extra C options:
File: debian/libcoq-ocaml-dev/usr/lib/coq/parsing/highparsing.cma
Force custom: no
Extra C object files:
Extra C options:
File: debian/libcoq-ocaml-dev/usr/lib/coq/parsing/parsing.cma
Force custom: no
Extra C object files:
Extra C options:
File: debian/libcoq-ocaml-dev/usr/lib/coq/pretyping/pretyping.cma
Force custom: no
Extra C object files:
Extra C options:
File: debian/libcoq-ocaml-dev/usr/lib/coq/printing/printing.cma
Force custom: no
Extra C object files:
Extra C options:
File: debian/libcoq-ocaml-dev/usr/lib/coq/proofs/proofs.cma
Force custom: no
Extra C object files:
Extra C options:
File: debian/libcoq-ocaml-dev/usr/lib/coq/stm/stm.cma
Force custom: no
Extra C object files:
Extra C options:
File: debian/libcoq-ocaml-dev/usr/lib/coq/tactics/tactics.cma
Force custom: no
Extra C object files:
Extra C options:
File: debian/libcoq-ocaml-dev/usr/lib/coq/toplevel/toplevel.cma
Force custom: no
Extra C object files:
Extra C options:
File: debian/libcoq-ocaml/usr/lib/coq/toploop/proofworkertop.cma
Force custom: no
Extra C object files:
Extra C options:
File: debian/libcoq-ocaml/usr/lib/coq/toploop/queryworkertop.cma
Force custom: no
Extra C object files:
Extra C options:
File: debian/libcoq-ocaml/usr/lib/coq/toploop/tacworkertop.cma
Force custom: no
Extra C object files:
Extra C options:
|