Le 11/03/2014 05:53, ygrek a écrit : >>> FTR, here is the patch used in OPAM : >>> >>> https://github.com/ocaml/opam-repository/blob/master/packages/reins/reins.0.1a/files/fix_build.patch >> >> Thanks for the pointer. I'll import the relevant parts to Debian. > > Please note that patch was updated recently to install reins.cmi, without it > the library was effectively unusable.
reins.cmi is already installed by the Debian package [1]. Apparently, the patch doing that has been present since 2009 in Debian [2]. [1] <https://packages.debian.org/sid/amd64/libreins-ocaml-dev/filelist> [2] <http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/ocaml-reins.git;a=tree;f=debian/patches> Cheers, -- Stéphane -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
