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
Rename pcap to pcap-format; release version 0.3.3
Merge pull request #917 from djs55/pcap-format

Rename pcap to pcap-format; release version 0.3.3
+mirari.0.9.6
Merge pull request #918 from mirage/master

+mirari.0.9.6