On Tue, Jun 18, 2013 at 04:53:41PM +0100, Gabriel Kerneis wrote: > As a result, an updated opam package should be available
http://opam.ocamlpro.com/pkg/cil.1.7.1.html -- Gabriel ------------------------------------------------------------------------------ This SF.net email is sponsored by Windows: Build for Windows Store. http://p.sf.net/sfu/windows-dev2dev _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
