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 Win
Dear all,
CIL 1.7.1 is available from
http://sourceforge.net/projects/cil/files/cil/cil-1.7.1.tar.gz
http://sourceforge.net/projects/cil/files/cil/cil-1.7.1.tar.gz.asc
This release is focused on an improved build and installation system.
You can now install CIL without root permission (using
