Dear all, CIL 1.7.2 is available from
http://sourceforge.net/projects/cil/files/cil/cil-1.7.2.tar.gz http://sourceforge.net/projects/cil/files/cil/cil-1.7.2.tar.gz.asc This release fixes two build and installation issues which broke compilation of programs using the CIL library (thanks to Zachary Anderson for the report). It is also available on opam: http://opam.ocamlpro.com/pkg/cil.1.7.2.html For more information about CIL: http://kerneis.github.com/cil/ Best regards, -- Gabriel June 27, 2013: Released version 1.7.2. Fix building and installation of CIL library (#138).
signature.asc
Description: Digital signature
------------------------------------------------------------------------------ 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
