Include .cmx files in the cil-devel RPM.  There's a plausible argument that these should be included as standalone files even though they are also in the .cmxa file to improve cross-module inlining.  See <http://groups.google.com/group/fa.caml/browse_thread/thread/945e1328494273d/952cdfdeb7627407> for the thread in which this came up.  In particlar, see <http://groups.google.com/group/fa.caml/msg/4c48420875ac2def?>, posted to newsgroup fa.caml by Jacques Garrigue on Sep 13 2006 at 7:08 pm.
Include .cmx files in the cil-devel RPM.  There's a plausible argument that
these should be included as standalone files even though they are also in
the .cmxa file to improve cross-module inlining.  See
<http://groups.google.com/group/fa.caml/browse_thread/thread/945e1328494273d/952cdfdeb7627407>
for the thread in which this came up.  In particlar, see
<http://groups.google.com/group/fa.caml/msg/4c48420875ac2def?>, posted to
newsgroup fa.caml by Jacques Garrigue on Sep 13 2006 at 7:08 pm.

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c