Added package for Blahcaml 2.1
Added Profound 0.4.2
Merge pull request #906 from chaudhuri/profound.0.4.2

Added Profound 0.4.2
Merge pull request #904 from darioteixeira/master

Added package for Blahcaml 2.1
Add sonet 0.1.2.
Merge pull request #908 from pmundkur/master

Add sonet 0.1.2.
Add odisco 0.1.2.
Merge pull request #909 from pmundkur/devel

Add odisco 0.1.2.
Package ospec 0.3.2
Merge pull request #911 from andrenth/ospec-0.3.2

Package ospec 0.3.2
Add ipaddr 0.1.0
+ocp-index.0.3.0, ocaml-top.1.1.0
Merge pull request #913 from AltGr/master

+ocp-index.0.3.0, ocaml-top.1.1.0
Merge pull request #912 from dsheets/master

Add ipaddr 0.1.0
Release CIL 1.7.3

24 July 2013: cil-1.7.3

    * Fix installation of CIL library.
    * Fix machine-independant flags in cilly (eg. -fPIC).
Merge pull request #914 from kerneis/master

Release CIL 1.7.3
Add async_graphics.0.5
Initial versions of 'xen-disk' and dependencies

xen-disk:           serve a disk to a running VM tool
vhd-format:         reads and writes .vhd disk images
xenstore_transport: low-level xenstore read/write
xenctrl:            low-level xen hypercalls
xen-block-driver:   xen virtual disk protocol implementations
Merge pull request #916 from djs55/add-xen-disk

Initial versions of 'xen-disk' and dependencies
Merge pull request #915 from lpw25/master

Add async_graphics.0.5 package