OCamlPro/opam-repository — pull request #845 by kerneis (2013-06-27 10:58:03+00:00)
Title: Release CIL 1.7.2

Bug fix release (wrong META, missing files in cil.cm{a,xa}).