I recently understood that Frama-C has modified the CIL codebase for its own purposes. So in fact this should really be a wishlist item to see the original CIL codebase packaged, not Frama-C's CIL.
--
Guillaume Yziquel
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
