/var/lib/ocaml/lintian/libapron-ocaml-dev.info is in libapron-ocaml-dev 0.9.10-9+b1.
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 | Package: libapron-ocaml-dev
Runtime: libapron-ocaml
Version: 0.9.10-9+b1
File: debian/libapron-ocaml-dev/usr/lib/ocaml/apron/apron.cma
Force custom: no
Extra C object files: -lapron_caml -L/build/apron-UiX1kY/apron-0.9.10/debian/tmp/usr/lib -lapron
Extra C options:
File: debian/libapron-ocaml-dev/usr/lib/ocaml/apron/box.cma
Force custom: no
Extra C object files: -lboxMPQ_caml -L/build/apron-UiX1kY/apron-0.9.10/debian/tmp/usr/lib -lboxMPQ
Extra C options:
File: debian/libapron-ocaml-dev/usr/lib/ocaml/apron/boxD.cma
Force custom: no
Extra C object files: -lboxD_caml -L/build/apron-UiX1kY/apron-0.9.10/debian/tmp/usr/lib -lboxD
Extra C options:
File: debian/libapron-ocaml-dev/usr/lib/ocaml/apron/boxMPFR.cma
Force custom: no
Extra C object files: -lboxMPFR_caml -L/build/apron-UiX1kY/apron-0.9.10/debian/tmp/usr/lib -lboxMPFR
Extra C options:
File: debian/libapron-ocaml-dev/usr/lib/ocaml/apron/boxMPQ.cma
Force custom: no
Extra C object files: -lboxMPQ_caml -L/build/apron-UiX1kY/apron-0.9.10/debian/tmp/usr/lib -lboxMPQ
Extra C options:
File: debian/libapron-ocaml-dev/usr/lib/ocaml/apron/gmp.cma
Force custom: no
Extra C object files: -lgmp_caml -L/usr/lib/ocaml -L/usr/lib -L/usr/lib -lmpfr -lgmp -lcamlidl
Extra C options:
File: debian/libapron-ocaml-dev/usr/lib/ocaml/apron/oct.cma
Force custom: no
Extra C object files: -loctMPQ_caml -L/build/apron-UiX1kY/apron-0.9.10/debian/tmp/usr/lib -loctMPQ
Extra C options:
File: debian/libapron-ocaml-dev/usr/lib/ocaml/apron/octD.cma
Force custom: no
Extra C object files: -loctD_caml -L/build/apron-UiX1kY/apron-0.9.10/debian/tmp/usr/lib -loctD
Extra C options:
File: debian/libapron-ocaml-dev/usr/lib/ocaml/apron/octMPQ.cma
Force custom: no
Extra C object files: -loctMPQ_caml -L/build/apron-UiX1kY/apron-0.9.10/debian/tmp/usr/lib -loctMPQ
Extra C options:
File: debian/libapron-ocaml-dev/usr/lib/ocaml/apron/polka.cma
Force custom: no
Extra C object files: -lpolkaMPQ_caml -L/build/apron-UiX1kY/apron-0.9.10/debian/tmp/usr/lib -lpolkaMPQ
Extra C options:
File: debian/libapron-ocaml-dev/usr/lib/ocaml/apron/polkaGrid.cma
Force custom: no
Extra C object files: -lap_polkaGrid_caml -L/build/apron-UiX1kY/apron-0.9.10/debian/tmp/usr/lib -lap_polkaGrid
Extra C options:
File: debian/libapron-ocaml-dev/usr/lib/ocaml/apron/polkaMPQ.cma
Force custom: no
Extra C object files: -lpolkaMPQ_caml -L/build/apron-UiX1kY/apron-0.9.10/debian/tmp/usr/lib -lpolkaMPQ
Extra C options:
File: debian/libapron-ocaml-dev/usr/lib/ocaml/apron/polkaRll.cma
Force custom: no
Extra C object files: -lpolkaRll_caml -L/build/apron-UiX1kY/apron-0.9.10/debian/tmp/usr/lib -lpolkaRll
Extra C options:
File: debian/libapron-ocaml-dev/usr/lib/ocaml/apron/ppl.cma
Force custom: no
Extra C object files: -lap_ppl_caml -L/usr/lib -L/build/apron-UiX1kY/apron-0.9.10/debian/tmp/usr/lib -L/usr/lib -lap_ppl -lppl -lgmpxx
Extra C options:
|