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 <pietro.ab...@pps.jussieu.fr> -----
Date: Wed, 18 May 2011 09:48:26 +0200
From: Pietro Abate <pietro.ab...@pps.jussieu.fr>
To: Ralf Treinen <ralf.trei...@pps.jussieu.fr>
Cc: Pietro Abate <pietro.ab...@pps.jussieu.fr>,
Stefano Zacchiroli <z...@pps.jussieu.fr>
Subject: Re: dose3 release
Something is missing ...
dose3-builddebcheck - Checks whether build-dependencies can be satisfied
dose3-distcheck - Checks whether dependencies of packages can be
satisfied
libdose3-ocaml-dev - OCaml libraries for package dependencies
(development files)
but where is libdose3-ocaml with all the runtime libraries ? I need the
cma(s) to compile...
ab...@zed.fr:~/Projects/git-svn-repos/dose3$apt-cache show libdose3-ocaml
N: Unable to locate package libdose3-ocaml
E: No packages found
make install, in theory should take care of copying all the needed
binaries...
----- End forwarded message -----
--
Ralf Treinen
Laboratoire Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.
http://www.pps.jussieu.fr/~treinen/
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
