OCamlPro/opam-repository — pull request #808 by kerneis (2013-06-18 15:35:56+00:00)
Title: Add CIL 1.7.1

I just released CIL 1.7.1 with lots of improvements. I have in particular made sure that it behaves properly wrt. opam. Here is a package (tested on Linux only).