On Thu, 30 Jan 2014 15:00:30 +0100 Stéphane Glondu <glo...@debian.org> wrote:
> Le 09/12/2013 04:42, 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. -- -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
