On Mon, 23 May 2016, Luis R. Rodriguez wrote:
> On Mon, May 23, 2016 at 1:31 PM, Julia Lawall <[email protected]> wrote: > > Could you see if OpenSuse has libpcre-ocaml-dev, and if so install it? > > It doesn't, and nothing quite like it either. Oops :( I found this: http://rpm.pbone.net/index.php3/stat/4/idpl/33152402/dir/opensuse/com/ocaml-pcre-7.1.6-2.d_l_ocaml.3.x86_64.rpm.html julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
