Bug#615158: CIL Debian and Ubuntu packages

[Gabriel Kerneis <gabriel@kerneis.info>]

Dear all,

I've started working on Debian and Ubuntu packages for CIL.  A preliminary
package for CIL 1.7.3 is available on OBS (openSUSE Build Service):

  https://build.opensuse.org/package/show/home:kerneis/ocaml-cil

To install it, follow the instructions on:

  http://software.opensuse.org/download.html?project=home%3Akerneis&package=ocaml-cil

It builds successfully for Debian 6 ("squeeze") and 7 ("wheezy"), as well as
xUbuntu 12.04 (LTS), 12.10 and 13.04.  It has only been tested on Debian 7,
though: any feedback on other systems is welcome.

This will hopefully land in official repositories at some point. You can
reply or subscribe to the relevant Debian ITP (Intent To Package):

  http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=615158

Note to RPM users: I am aware that Fedora packages are outdated (1.4.0). This
is the next bullet on my TODO list.

Best regards,
-- 
Gabriel