OCamlPro/opam-repository — pull request #914 by kerneis (2013-07-24 19:12:24+00:00)
Title: Release CIL 1.7.3

24 July 2013: cil-1.7.3

* Fix installation of CIL library.
* Fix machine-independant flags in cilly (eg. -fPIC).