/var/lib/ocaml/lintian/libz3-ocaml-dev.info is in libz3-ocaml-dev 4.4.1-0.3build4.
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 | Package: libz3-ocaml-dev
Version: 4.4.1-0.3build4
File: debian/libz3-ocaml-dev/usr/lib/ocaml/z3/z3.cma
Force custom: no
Extra C object files:
Extra C options:
File: debian/libz3-ocaml-dev/usr/lib/ocaml/z3/z3enums.cma
Force custom: no
Extra C object files:
Extra C options:
File: debian/libz3-ocaml-dev/usr/lib/ocaml/z3/z3ml.cma
Force custom: no
Extra C object files: -lz3ml
Extra C options:
File: debian/libz3-ocaml-dev/usr/lib/ocaml/z3/z3native.cma
Force custom: no
Extra C object files:
Extra C options:
|