Bug#627274: libdose3-ocaml-dev: a lot of files are missing

2011-05-19 Thread Ralf Treinen
This bug is currently blocked by the fact that dh_ocaml reports some exported units that are already exported by other packages (Bz2, Cudf_*). This should be resolved upstream. -Ralf -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pp

Bug#627274: libdose3-ocaml-dev: a lot of files are missing

2011-05-18 Thread Ralf Treinen
Package: libdose3-ocaml-dev Version: 2.9.3-1 Severity: important Tags: serious libdose3-ocaml-dev should install the complete contents of /usr/lib/ocaml/dose3/ - Forwarded message from Pietro Abate - Date: Wed, 18 May 2011 09:48:26 +0200 From: Pietro Abate To: Ralf Treinen Cc: Pietro